QMT
From MaRDI portal
Software:19192
swMATH7137MaRDI QIDQ19192FDOQ19192
Author name not available (Why is that?)
Cited In (21)
- A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
- Flexary Operators for Formalized Mathematics
- The future of logic: foundation-independence
- JEFL: joint embedding of formal proof libraries
- Lax Theory Morphisms
- Software citations, information systems, and beyond
- A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
- A scalable module system
- Towards Knowledge Management for HOL Light
- The MMT API: A Generic MKM System
- Aligning concepts across proof assistant libraries
- Classification of alignments between concepts of formal mathematical systems
- A survey on retrieval of mathematical knowledge
- Formal Logic Definitions for Interchange Languages
- A Query Language for Formal Mathematical Libraries
- A bi-directional extensible interface between Lean and Mathematica
- Experiences from exporting major proof assistant libraries
- Generic Literals
- Implementing type theory in higher order constraint logic programming
- Supporting data-driven mathematics: database and interface generation
- Matching Concepts across HOL Libraries
This page was built for software: QMT
