add "to appear" entry for mcs disambiguation article
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Jun 2008 08:07:37 +0000 (10:07 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Jun 2008 08:07:37 +0000 (10:07 +0200)
research/publications.mdwn

index 9f827b7..3e23b4d 100644 (file)
@@ -7,6 +7,17 @@ in reverse chronological order.
 
 # journal publications
 
+ 1. <a class="paper_download" href="mcs-disambiguation-errors.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Claudio Sacerdoti Coen, Stefano Zacchiroli.
+      **Spurious Disambiguation Errors and How to Get Rid of Them**
+      . <em>
+       To appear in <a href="http://www.cc4cm.org/mcs/">Mathematics in
+         Computer Science</a>, <a href="http://www.cs.bham.ac.uk/~mmk/events/mcs/">Special Issue on
+         Management of Mathematical Knowledge</a>, Springer Birkhäuser, <a href="http://www.springer.com/birkhauser/mathematics/journal/11786">ISSN
+         1661-8270</a>.
+      </em>
+    [[toggle id=id19 text="Abstract..."]] [[toggleable id=id19 text="""
+    *Abstract:* 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. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.
+    """]]
  1. <a class="paper_download" href="matita.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli.
       **User Interaction with the Matita Proof Assistant**
       . <em>