A survey of languages for formalizing mathematics

From MaRDI portal

Revision as of 03:13, 2 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2219386

Jump to:navigation, search

DOI10.1007/978-3-030-53518-6_9zbMath1455.68257arXiv2005.12876OpenAlexW3044269446WikidataQ108482101 ScholiaQ108482101MaRDI QIDQ2219386

Cezary Kaliszyk, Florian Rabe

Publication date: 20 January 2021

Full work available at URL: https://arxiv.org/abs/2005.12876

Mathematics Subject Classification ID

Formalization of mathematics in connection with theorem provers (68V20) Mathematical knowledge management (68V30)

Related Items (6)

Improving stateful premise selection with transformers ⋮ A language with type-dependent equality ⋮ Lyndon words formalized in Isabelle/HOL ⋮ \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge ⋮ \(\text{OntoMath}^{\text{PRO}}\) 2.0 ontology: updates of formal model ⋮ The Isabelle/Naproche natural language proof assistant

This page was built for publication: A survey of languages for formalizing mathematics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2219386&oldid=14756327"