MathScheme
From MaRDI portal
Cited in
(19)- Incorporating quotation and evaluation into Church's type theory
- Biform theories: project description
- MathDox
- A modular first formalisation of combinatorial design theory
- EgoMath
- Leveraging the information contained in theory presentations
- Locales: a module system for mathematical theories
- lens
- CodeV
- Zemax
- LASCAD
- reFLect
- Formal analysis of optical systems
- MathScheme: project description
- Tog
- Realms: a structure for consolidating knowledge about mathematical theories
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- Latin Square
- Matroids
This page was built for software: MathScheme
