swMATH7137MaRDI QIDQ19192FDOQ19192
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007%2F978-3-642-31374-5_10
Cited In (38)
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- Software citations, information systems, and beyond
- A scalable module system
- Towards Knowledge Management for HOL Light
- Formal logic definitions for interchange languages
- Aligning concepts across proof assistant libraries
- ProofWidgets
- Matching concepts across HOL libraries
- A data model and encoding for a semantic, multilingual terminology of mathematics
- Flexary operators for formalized mathematics
- A query language for formal mathematical libraries
- Generic literals
- Lax theory morphisms
- Classification of alignments between concepts of formal mathematical systems
- MathWebSearch
- MMT
- TNTBase
- Polar
- GF
- MathHub.info
- LATIN
- LLFp
- Mathfind
- biber
- DiscreteZOO
- SMGLoM
- ELPI
- MathML
- OpenTheory
- Whelp
- WebMIaS
- A bi-directional extensible interface between Lean and Mathematica
- Experiences from exporting major proof assistant libraries
- A flexiformal model of knowledge dissemination and aggregation in mathematics
- Implementing type theory in higher order constraint logic programming
- Supporting data-driven mathematics: database and interface generation
- The MMT API: a generic MKM system
This page was built for software: QMT
