MathScheme
From MaRDI portal
Software:27002
No author found.
Related Items (9)
A modular first formalisation of combinatorial design theory ⋮ Leveraging the information contained in theory presentations ⋮ Formal analysis of optical systems ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings ⋮ MathScheme: Project Description ⋮ 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
