The first one, Integral(-inf to +inf) e^(x^2)dx, is not in Thomas because it does not converge. But [itex]\int_{-infty}^\infty e^{-x^2}dx[/itex], as dextercioby suggests, certainly is in Thomas, and the second is a variation. You may be trying to find an anti-derivative formula and not finding that- neither integrand has an "elementary" anti-derivative. Both are used extensively in probability ([itex]e^{-x^2}[/itex] is the "bell shaped curve") and so in quantum mechanics.
Here is a simple way to get the first integral:
Let [itex]I= \int_{-\infty}^\infty e^{-x^2}dx[/itex]. Since the integrand is symmetric about x=0, we also have [itex]I/2= \int_0^\infty e^{-x^2}dx[/itex].
And, we can write [itex]I/2= \int_0^\infty e^{-y^2}dy[/itex]. Multiplying those together, [itex]I^2/4= \left(\int_0^\infty e^{-x^2}dx\right)\left(\int_0^\infty e^{-y^2}dy\right)[/itex]. By Fubini's theorem, we can write that product of integrals as a double integral:
[tex]I^2/4= \int_{x= 0}^{\infty}\int_{y=0}^\infty e^{-(x^2+ y^2}dydx[/tex]
Now, change to polar coordinates: [itex]x^2+ y^2= r^2cos^2(\theta)+ r^2sin^2(\theta)= r^2 and [itex]dydx= r drd\theta[/itex]. The area of integration, with both x going from 0 to infinity is the first quadrant. In polar coordinates, r goes from 0 to infinity while [itex]\theta[/itex] goes from 0 to [itex]\pi/2[/itex]. The integral becomes<br />
[tex]I^2/4= \int_{\theta= 0}^{\pi/2}\int_{r=0}^\infty e^{-r^2} rdrd\theta= \frac{\pi}{2}\int_0^\infty e^{-r^2} rdr[/tex]<br />
<br />
That extra 'r' in the integrand now allows us to make the change of variable [itex]u= r^2[/itex] so [itex]du= 2r dr[/itex] and the integral becomes<br />
[tex]I^2/4= \frac{\pi}{4}\int_0^\infty e^{-u}du[/tex]<br />
which is easy.<br />
<br />
It was necessary, to make that change to polar coordinates, that the integral be over the entire first quadrant. Again, that function, [itex]e^{-x^2}[/itex], has no elementary anti-derivative. In fact, its anti-derivative is typically written "erf(x)", the "error function", and it values are got by a numerical integration.[/itex]