This is me playing around with Functional Differential Geometry, and the associated scmutils scheme library for symbolic mathematics.
Functional Differential Geometry is from the authors of the famed Structure and Interpretations of Computer Programs, and is implemented in Scheme.
Initially I was going to do this entire thing in julia, but the scmutils library is 65,000 lines of code. That might be a little ambitious for a side project.
- get better at differential geometry
- read and learn more functional wizardry
- write more macros
- hopefully apply this to some of the information geometry ideas floating around.