Mathlib Map

Map · 37

dynamical systems

MSC 37 · Dynamical systems and ergodic theory

955 declarations (821 theorems, 134 definitions) across 34 files. 0 of the 24 famous theorems listed for this area are in Mathlib (0%). 11 open conjectures here are stated in Lean.

Files are assigned to areas by a language model reading each file's documentation. Report a file that is in the wrong area.

Subareas4

  • 37B Topological dynamics 623
  • 37A Ergodic theory 178
  • 37E Low-dimensional dynamical systems 145
  • 37F Dynamical systems over complex numbers 9

Famous theorems0 of 24

From the 1000+ theorems project, which classifies each theorem by MSC area.

Not yet in Mathlib · 24

Open conjectures stated in Lean11

Statements without proofs, collected by the Formal Conjectures project.

Structures defined here6

Typeclasses defined in this area's files, most assumed first.

Files34

Largest first. The code after each file is its assigned subarea.