2 search results - page 1 / 1 » A procedure for proving special function inequalities involv... |
ISSAC
2005
Springer
14 years 4 months ago
2005
Springer
We define a class of special function inequalities that contains many classical examples, such as the Cauchy-Schwarz inequality, and introduce a proving procedure based on induct...
AISC
2008
Springer
14 years 29 days ago
2008
Springer
Many inequalities involving the functions ln, exp, sin, cos, etc., can be proved automatically by MetiTarski: a resolution theorem prover (Metis) modified to call a decision proced...