Efficient Ambiguous Parsing of Mathematical Formulae-Reference-Cited by-同舟云学术

Efficient Ambiguous Parsing of Mathematical Formulae

Published:2004 Issue: Volume: Page:347-362
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Coen Claudio Sacerdoti,Zacchiroli Stefano

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27818-4_25

Reference13 articles.

1. Asperti, A., Guidi, F., Padovani, L., Sacerdoti Coen, C., Schena, I.: Mathematical Knowledge Management in HELM. Annals of Mathematics and Artificial Intelligence 38(1), 27–46 (2003)

2. Lecture Notes in Computer Science;G. Bancerek,2003

3. The Coq proof-assistant, http://coq.inria.fr

4. Di Lena, P.: Generazione automatica di stylesheet per notazione matematica. Master thesis. University of Bologna (2003)

5. Guidi, F., Sacerdoti Coen, C.: Querying Distributed Digital Libraries of Mathematics. In: Proceedings of Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. Aracne Editrice (2003)

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

1. The Accessibility of Mathematical Formulas for the Visually Impaired in China;Artificial Intelligence and Symbolic Computation;2018

2. Rating Disambiguation Errors;Certified Programs and Proofs;2012

3. The Matita Interactive Theorem Prover;Lecture Notes in Computer Science;2011

4. User Interaction with the Matita Proof Assistant;Journal of Automated Reasoning;2007-06-21

5. Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems;Towards Mechanized Mathematical Assistants;2007