LATIN
Project abstract: logic atlas and integrator (LATIN). LATIN aims at developing methods, techniques, and tools for interfacing logics and related formal systems. These systems are at the core of mathematics and computer science and are implemented in systems like (semi-)automated theorem provers, model checkers, computer algebra systems, constraint solvers, or concept classifiers. Unfortunately, these systems have differing domains of applications, foundational assumptions, and input languages, which makes them non-interoperable and difficult to compare and evaluate in practice.
Keywords for this software
References in zbMATH (referenced in 15 articles )
Showing results 1 to 15 of 15.
Sorted by year (- Rabe, Florian: A modular type reconstruction algorithm (2018)
- Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian: Classification of alignments between concepts of formal mathematical systems (2017)
- Rabe, Florian: The future of logic: foundation-independence (2016)
- Horozal, Fulya; Rabe, Florian: Formal logic definitions for interchange languages (2015)
- Iancu, Mihnea; Kohlhase, Michael: Math literate knowledge management via induced material (2015)
- Rabe, Florian: Lax theory morphisms (2015)
- Iancu, Mihnea; Jucovschi, Constantin; Kohlhase, Michael; Wiesing, Tom: System description: MathHub.info (2014)
- Kohlhase, Michael: A data model and encoding for a semantic, multilingual terminology of mathematics (2014)
- Martins, Manuel A.; Madeira, Alexandre; Barbosa, Luís S.: The role of logical interpretations in program development (2014)
- Mossakowski, Till; Pawłowski, Wiesław; Sannella, Donald; Tarlecki, Andrzej: Parchments for CafeOBJ logics (2014)
- Iancu, Mihnea; Kohlhase, Michael; Rabe, Florian; Urban, Josef: The Mizar Mathematical Library in OMDoc: translation and applications (2013)
- Rabe, Florian; Kohlhase, Michael: A scalable module system (2013)
- Kohlhase, Michael; Rabe, Florian: Semantics of \textscOpenMathand \textscMathML3 (2012)
- Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian: Project abstract: logic atlas and integrator (LATIN) (2011)
- Davenport, James H. (ed.); Farmer, William M. (ed.); Urban, Josef (ed.); Rabe, Florian (ed.): Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18--23, 2011. Proceedings (2011)