Hard definite integral
2411
Integrate $\int_0^{\pi/2} \frac{1}{1+\tan^\alpha{x}}\,\mathrm{d}x$
108284
Integration and existence of an antiderivative
68287
Good book on evaluating difficult definite integrals (without elementary antiderivatives)?
73131
Derivation of the gaussian integral
139784
Computing integration $\int_0^1\frac{\ln x}{1-x}d x$
126962
Differentiation under integral sign (Gamma function)
113970
Compute $\int_cd\omega$ and $\int_{\partial c}\omega$
124341
HeavisideTheta integration of derivative
97083
Convergences of definite integral of a function
105494
Gaussian-like integral : $\int_0^{\infty} e^{-x^2} \cos( a x) \ \mathrm{d}x$
45803
Integral of Derivative squared
92934
Triangle inequality for integrals with complex valued integrand
25162
Differentiating Definite Integral
8432
Computing real integral using residues
1234
Evaluating limits of integrals
101287
Definite integral containing 2 trig functions and a square root function
16406
Step-by-step definite integration