The following pages link to MathScheme (Q27002):
Displaying 9 items.
- Formal analysis of optical systems (Q475384) (← links)
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (Q555659) (← links)
- Incorporating quotation and evaluation into Church's type theory (Q1753993) (← links)
- Biform theories: project description (Q1798949) (← links)
- A modular first formalisation of combinatorial design theory (Q2128787) (← links)
- Leveraging the information contained in theory presentations (Q2219380) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Realms: A Structure for Consolidating Knowledge about Mathematical Theories (Q5495928) (← links)