Will set up the theory of totally ordered real vector spaces, and the ultraproduct construction to correspond this with asymptotic estimates. Then, develop metaprogramming tactics to prove inequalities in such vector spaces.
teorth/estimate_tools
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|