LATIN
From MaRDI portal
Software:31524
swMATH19699MaRDI QIDQ31524FDOQ31524
Author name not available (Why is that?)
Cited In (17)
- The future of logic: foundation-independence
- Math Literate Knowledge Management via Induced Material
- A scalable module system
- Parchments for CafeOBJ logics
- Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings
- Formal logic definitions for interchange languages
- A data model and encoding for a semantic, multilingual terminology of mathematics
- A Modular Type Reconstruction Algorithm
- Project abstract: logic atlas and integrator (LATIN)
- Lax theory morphisms
- The Mizar Mathematical Library in OMDoc: translation and applications
- Classification of alignments between concepts of formal mathematical systems
- Logic-independent proof search in logical frameworks (short paper)
- Semantics of \textsc{OpenMath} and \textsc{MathML3}
- Experiences from exporting major proof assistant libraries
- System description: MathHub.info
- The role of logical interpretations in program development
This page was built for software: LATIN
