Revision history [back]

sage: x, sigma, mu = var('x','sigma','mu')                   
sage: q = 1/((2*pi)^(1/2)*sigma)*exp(-(x - mu)^2/(2*sigma^2))
sage: assume(sigma>0)                                        
sage: integral(q,(x,-oo,oo))                                     
1