A Mathematical Infrastructure for slightly advanced Analysis
We need for (e.g. #3) an seed infrastructure of flexiformal theories for (a bit more advanced) analysis. On the one hand this could be done in MMT and on the other hand in the SMGloM (actually both, they need also be synchronized by symbols). In particular
- Integrals (Riemann, Lebesque, path, volume, ...)
- Manifolds
- vector fields and tensors
- div/grad representations vs. coordinate representations (can we write down the views?)
- ODEs and PDEs