MathDB
SMT 2009 Team #5

Source:

January 23, 2022
algebracalculus

Problem Statement

Compute 0t5etdt\int_{0}^{\infty} t^5e^{-t}dt