swMATH15109MaRDI QIDQ27002FDOQ27002
Author name not available (Why is that?)
Official website: http://www.cas.mcmaster.ca/research/mathscheme/
Cited In (19)
- Leveraging the information contained in theory presentations
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- A modular first formalisation of combinatorial design theory
- Incorporating quotation and evaluation into Church's type theory
- MathScheme: project description
- Formal analysis of optical systems
- MathDox
- EgoMath
- lens
- CodeV
- LASCAD
- Zemax
- reFLect
- Biform theories: project description
- Tog
- Realms: a structure for consolidating knowledge about mathematical theories
- Locales: a module system for mathematical theories
- Matroids
- Latin Square
This page was built for software: MathScheme
