Computerizing Mathematical Text with MathLang-Reference-Cited by-同舟云学术

Computerizing Mathematical Text with MathLang

Published:2008-04 Issue: Volume:205 Page:5-30
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Kamareddine Fairouz,Wells J.B.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference45 articles.

1. J. Abbott, A. van Leeuwen, and A. Strotmann. Objectives of openmath. Technical Report 12, RIACA (Research Institute for Applications of Computer Algebra), 1996. The TR archives of RIACA are incomplete. Earlier versions of this paper can be found at the “old OpenMath Home Pages” archived at the Uni. Köln

2. Towards an interactive mathematical proof mode;Barendregt,2003

3. Beiträge zur Begründung der transfiniten Mengenlehre (part 1);Cantor;Mathematische Annalen,1895

4. Beiträge zur Begründung der transfiniten Mengenlehre;Cantor;Mathematische Annalen,1897

5. Cours d'Analyse de l'École Royale Polytechnique;Cauchy,1821

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

1. Ranking of Mathematical Equations within a Scientific Document;2023 IEEE Sixth International Conference on Artificial Intelligence and Knowledge Engineering (AIKE);2023-09-25

2. Learning Through a “Route Planner”: Human-Computer Information Retrieval for Automatic Assessment;Technology Supported Innovations in School Education;2020

3. A Survey of Languages for Formalizing Mathematics;Lecture Notes in Computer Science;2020

4. Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management;Communications in Computer and Information Science;2017

5. How to Build a Global Digital Mathematics Library;INT SYMP SYMB NUMERI;2016