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.
-
Notifications
You must be signed in to change notification settings - Fork 5
teorth/estimate_tools
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published