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