Computer algebra for special function inequalities
From MaRDI portal
Publication:3602576
zbMATH Open1183.33039MaRDI QIDQ3602576FDOQ3602576
Authors: M. Kauers 
Publication date: 12 February 2009
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
Algebraic combinatorics (05E99) Formal power series rings (13F25) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Cited In (7)
- A hypergeometric inequality
- On proving inequalities by cylindrical algebraic decomposition
- A procedure for proving special function inequalities involving a discrete parameter
- Some notes on a method for proving inequalities by computer
- Title not available (Why is that?)
- Computational Science - ICCS 2004
- Extending Maple Capabilities for Solving and Displaying Inequalities
Uses Software
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)
