A Survey of Languages for Formalizing Mathematics-Reference-Cited by-同舟云学术

A Survey of Languages for Formalizing Mathematics

Published:2020 Issue: Volume: Page:138-156
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Kaliszyk Cezary^ORCID,Rabe Florian^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-53518-6_9

Reference95 articles.

1. Ausbrooks, R., et al.: Mathematical Markup Language (MathML) Version 3.0. Technical report, World Wide Web Consortium (2010). http://www.w3.org/TR/MathML3

2. Abrial, J.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

3. Arthan, R.: ProofPower. http://www.lemma-one.com/ProofPower/

4. Lecture Notes in Computer Science;A Asperti,2007

5. Buswell, S., Caprotti, O., Carlisle, D., Dewar, M., Gaetano, M., Kohlhase, M.: The Open Math Standard, Version 2.0. Technical report, The Open Math Society (2004). http://www.openmath.org/standard/om20

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. New components of the OntoMathPRO ontology for representing math knowledge;Proceedings of 25th Scientific Conference “Scientific Services & Internet – 2023”;2023

2. OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model;Lobachevskii Journal of Mathematics;2022-12

3. OntoMathPRO: An Ontology of Mathematical Knowledge;Doklady Mathematics;2022-11-21

4. A Language with Type-Dependent Equality;Lecture Notes in Computer Science;2021

5. Improving Stateful Premise Selection with Transformers;Lecture Notes in Computer Science;2021