A proof of concept tool to verify estimates
a day ago
- #automated verification
- #symbolic math
- #asymptotic estimates
- Symbolic math software lacks sophisticated tools for verifying asymptotic estimates, particularly functional estimates.
- A proof-of-concept tool was developed to verify inequalities involving positive real numbers using arithmetic operations.
- The tool uses brute force case splitting and linear programming to verify inequalities.
- Future goals include handling more complex estimates, integrating with platforms like SageMath, and generating formal proof certificates.
- Collaboration between mathematicians and programmers is suggested to enhance the tool's capabilities.