Terry Tao has posted a proof-of-concept Python tool that can be used to prove asymptotic inequalities. See https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/ and https://github.com/teorth/estimates.
There was some discussion on the blog post about whether it would make sense for his tool to be using SymPy (it most likely should), and he also expressed some interest in possibly integrating his tool into SymPy. The thing that isn't yet clear to me is whether a tool that proves asymptotic inequalities would be useful for SymPy. I know that we definitely need better support in the assumptions system for making use of *inequalities*, but, for instance, would knowing that X = O(Y) (X is bounded by a constant times Y) be useful? I'm posting about this here so that people are aware of it, but you should probably comment on Terry Tao's blog post if you want to discuss the project with him. Aaron Meurer -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6KUh%2BXb2dvGwskv00dGMKQy7bNtLkBoxgoTitV0RJVcyg%40mail.gmail.com.
