Login
Roast topics
Find topics
Find it!
From:
What's new
(Uncensored)
subscribe
A proof of concept tool to verify estimates | What's new
https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/
links
backlinks
Roast topics
Find topics
Roast it!
This post was inspired by some recent discussions with Bjoern Bringmann. Symbolic math software packages are highly developed for many mathematical tasks in areas such as algebra, calculus, and num…