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
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories
- Formal analysis of optical systems
- Biform theories: project description
- Locales: a module system for mathematical theories
- MathScheme: Project Description
This page was built for software: MathScheme
