Irene Schena  Home/Search
Context
Related
| cs.unibo.it/~schena/ps/proptesi.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.unibo.it/~schena/www...profile (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Mathematics is generally regarded as the exact subject for excellence. But the language commonly used by mathematicians (in paper, monographs, and even textbooks) can be remarkably vague. In particular, the language of mathematical texts invariably contains a substantial admixture of natural language, and that has all the usual potential for ambiguity and imprecision. Moreover, there is the question of the correctness of mathematical reasoning: there are plenty of well-documented... (Update)
Active bibliography (related documents): More All
2.1: Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
0.3: The Intelligent Pen-Toward a Uniform Treatment of.. - Götze, Schlechtweg.. (2002) (Correct)
0.3: Evaluating the 'Genre Lens' for Analyzing Requirements for.. - Honkaranta (2003) (Correct)
Similar documents based on text: More All
0.6: HELM and the Semantic Math-Web - Asperti, Padovani, Coen, Schena (Correct)
0.3: Towards Collaborative Content Management And Version.. - Kohlhase, Anghelache (2003) (Correct)
0.2: XML, Stylesheets and the Re-mathematization of Formal Content - Asperti, al. (2001) (Correct)
BibTeX entry: (Update)
@misc{ schena-language,
author = "Irene Schena",
title = "A Language for describing the Mathematical Knowledge",
url = "citeseer.ist.psu.edu/352715.html" }
Citations (may not include all citations):295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
96 A survey of the project AUTOMATH (context) - de Bruijn - 1980
45 Cambridge University Press (context) - Huet, Plotkin et al. - 1991
45 Cambridge University Press (context) - Huet, Plotkin et al. - 1993
42 An overview of the Mizar project (context) - Rudnicki - 1992
33 Lecture Notes in Computer Science (context) - in, Science et al. - 1998
16 The Mathematical Language AUTOMATH (context) - de Bruijn - 1968
9 Concepts Math'ematiques et Informatiques formalis'es dans le.. (context) - Coquand, Huet - 1987
6 Special Issue on Digital Libraries (context) - the - 1998
3 From text to model to markup (context) - Maler, Andaloussi et al. - 1996
3 Goldfarb Series on Open Information Management (context) - Structuring, The - 1998
3 Goldfarb Series on Open Information Management (context) - Prescod, handbook - 1998
2 Goldfarb Series on Open Information Management (context) - Leventhal, Lewis et al. - 1998
2 Using Mizar in Computer Aided Instruction of Mathematics (context) - Trybulec, Rudnicki - 1993
1 Constructions: A Higher Order System for Mechanizing Mathema.. (context) - Coquand, Huet - 1985
1 Finding Common Ground: Creating the Library of the Future wi.. (context) - LaGuardia, Mitchell - 1998
Documents on the same site (http://www.cs.unibo.it/~schena/www/profile.html):
Towards a Semantic Web for Formal Mathematics - Schena (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC