Integrable Systems

Stream: PhysLean

[Jard]

For a course of mine called Integrable systems, I am allowed to give a 10-minute presentation on anything, as long as the words "integrable systems" get mentioned. I was thinking of formalizing something. I have a few ideas on what to formalize, but are there any to-dos in PhysLean that would fit this description? I couldn't find any on the website, but maybe others are in need of some basic definitions that I could provide that aren't on there (or maybe I missed something)!

[Joseph Tooby-Smith]

but are there any to-dos in PhysLean that would fit this description?

I'm pretty sure there are not any related TODO items - thus I think anything in this direction would be nice to have :).

[Jard]

Great! I am planning on following Babelon, Bernard, and Talon to the point of Lax pairs (so the first 4 subsections, since the subsections are fairly short), if I can stuff that all into a 10 minute presentation