swMATH19699MaRDI QIDQ31524FDOQ31524
Author name not available (Why is that?)
Official website: http://uniformal.github.io/doc/applications/LATIN/
Cited In (32)
- 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
- MMT
- OMDoc
- QMT
- TNTBase
- STEXIDE
- GF
- IMPS
- EgoMath
- MathHub.info
- GF
- LLFp
- SMGLoM
- SACHS
- MathML
- Whelp
- 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
