Access the full text.
Sign up today, get DeepDyve free for 14 days.
H. Geuvers, G. Jojgov (2002)
Open Proofs and Open Terms: A Basis for Interactive Logic
A. Asperti, C. Coen, E. Tassi, Stefano Zacchiroli (2007)
User Interaction with the Matita Proof AssistantJournal of Automated Reasoning, 39
Emma Meulen, Wilco Koorn, A. Deursen, Pum Walters, Jasper Kamperman (1992)
Parser Generation for Interactive Environments
C. Sacerdoti Coen and S. Zacchiroli Math.comput.sci
G. Bancerek, P. Rudnicki (2003)
Information Retrieval in MML
(1985)
Constructive Analysis
C. Coen, Stefano Zacchiroli (2007)
Spurious Disambiguation Error Detection
R. Mines, F. Richman, Wim Ruitenburg (1987)
A Course in Constructive Algebra
Calculemus, Mkm, Manuel Kauers (2007)
Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, 4573
C. Muñoz (1997)
A Calculus of Substitutions for Incomplete-Proof Representation in Type Theory
C. Coen, Stefano Zacchiroli (2004)
Efficient Ambiguous Parsing of Mathematical Formulae
(1987)
A Course in Constructive Algebra. Springer, 1 edition
(2002)
Formal mathematical proof explanations in natural language using mathml: An application to proofs in arabic
A. Asperti, F. Guidi, C. Coen, E. Tassi, Stefano Zacchiroli (2004)
A Content Based Mathematical Search Engine: Whelp
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations.
Mathematics in Computer Science – Springer Journals
Published: Dec 5, 2008
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.