Computer algebra for special function inequalities

MaRDI QIDQ3602576zbMATH OpenFDO

Authors M. Kauers

Publication date 12 February 2009

zbMATH Keywords

computer algebrainequalitiesspecial functionsquantifier elimination

Mathematics Subject Classification ID

Algebraic combinatorics (05E99) Formal power series rings (13F25) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Recommendations

• A procedure for proving special function inequalities involving a discrete parameter
• Some notes on a method for proving inequalities by computer
• On proving inequalities by cylindrical algebraic decomposition
• MetiTarski: An Automatic Prover for the Elementary Functions
• Computer-assisted proofs of special function identities related to Poisson integrals

Cited in

(7)

• On proving inequalities by cylindrical algebraic decomposition
• Extending Maple Capabilities for Solving and Displaying Inequalities
• Some notes on a method for proving inequalities by computer
• A procedure for proving special function inequalities involving a discrete parameter
• scientific article; zbMATH DE number 2246280 (Why is no real title available?)
• A hypergeometric inequality
• Computational Science - ICCS 2004

Describes a project that uses

Uses Software

• QEPCAD
• SumCracker

This page was built for publication: Computer algebra for special function inequalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602576)