RISC JKU
  • @techreport{RISC3798,
    author = {P. Paule and V. Pillwein},
    title = {{Automatic Improvements of Wallis' Inequality}},
    language = {english},
    abstract = {The mathematical backbone of this article is formed by three classical formulas of Wallis: his product formula for $\pi$, an inequality implying the product formula in the limit, and a related definite integral involving powers of the sine function. For the latter we present various evaluations to illustrate recent algorithmic developments. In the main part of the article we automatically refine the bounds in Wallis' inequality by using methods based on Collins' cylindrical algebraic decomposition.},
    number = {08--18},
    year = {2008},
    length = {10},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Altenberger Straße 69, 4040 Linz, Austria},
    issn = {2791-4267 (online)}
    }