MathScheme
From MaRDI portal
Software:27002
swMATH15109MaRDI QIDQ27002FDOQ27002
Author name not available (Why is that?)
Cited In (9)
- 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
- Biform theories: project description
- Realms: a structure for consolidating knowledge about mathematical theories
- Locales: a module system for mathematical theories
This page was built for software: MathScheme
