A Numerical Procedure for Proving Specific Strict One-Variable Inequalities in Specific Finite Intervals
classification
🧮 math.CA
keywords
specificprocedurestrictfiniteinequalitiesintervalsnumericalone-variable
read the original abstract
A numerical procedure and its MAPLE implementation capable of rigorously, albeit in a brute-force manner, proving specific strict one-variable inequalities in specific finite intervals is described. The procedure is useful, for instance, to affirm strict lower bounds of specific functions.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.