LATIN
From MaRDI portal
Software:31524
swMATH19699MaRDI QIDQ31524FDOQ31524
Author name not available (Why is that?)
Cited In (17)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
- Project Abstract: Logic Atlas and Integrator (LATIN)
- The future of logic: foundation-independence
- Lax Theory Morphisms
- Math Literate Knowledge Management via Induced Material
- A scalable module system
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- A Modular Type Reconstruction Algorithm
- The Mizar Mathematical Library in OMDoc: translation and applications
- Classification of alignments between concepts of formal mathematical systems
- Formal Logic Definitions for Interchange Languages
- System Description: MathHub.info
- Logic-independent proof search in logical frameworks (short paper)
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Experiences from exporting major proof assistant libraries
- Parchments for CafeOBJ Logics
- The role of logical interpretations in program development
This page was built for software: LATIN
