for Mathematical Text Fairouz Kamareddine, Manuel Maarek, and J. B. Wells...  Home/Search
Context
Related
| macs.hw.ac.uk/~jbw...Text:MKM2005.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: macs.hw.ac.uk/~jbw/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Computerizing mathematical texts to allow software access to some or all of the texts' semantic content is a long and tedious process that currently requires much expertise. We believe it is useful to support computerization that adds some structural and semantic information, but does not require jumping directly from the word-processing level (e.g., L T E X) to full formalization (e.g., Mizar, Coq, etc.). Although some existing mathematical languages are aimed at this middle ground... (Update)
Active bibliography (related documents): More All
0.9: Flexible Encoding of Mathematics on the Computer - Kamareddine, Maarek, Wells (2004) (Correct)
0.5: MathLang: experience-driven development of a new.. - Kamareddine, al. (2004) (Correct)
0.3: rst chapter of Foundations of Analysis - Lan Theorem Association (2004) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ text-toward,
author = "For Mathematical Text",
title = "Toward an Object-Oriented Structure",
url = "citeseer.ist.psu.edu/740731.html" }
Citations (may not include all citations):166 Classes and mixins - Flatt, Krishnamurthi et al. - 1998
103 The Description Logic Handbook: Theory (context) - Baader, Calvanese et al. - 2003
76 Modularity meets inheritance - Bracha, Lindstrom - 1992
20 The mathematical language Automath (context) - de Bruijn - 1970
12 a language for mathematics with typed sets (context) - de Bruijn, vernacular - 1987
3 MathLang: Experience-driven development of a new mathematica.. - Kamareddine, Maarek et al. - 2004
2 Books of Euclid's Elements (context) - The - 1956
2 A refinement of de Bruijn's formal language of mathematics - Kamareddine, Nederpelt - 2004
1 Elements of Mathematics - Algebra (context) - Bourbaki - 1974
1 Semantic markup T E XL (context) - Semantic, for
1 A path to faithful formalizations of mathematics (context) - Jojgov, Nederpelt - 2004
1 Faithfully reflecting the structure of informal mathematical.. (context) - Jojgov, Nederpelt et al. - 2004
1 Flexible encoding of mathematics on the computer - Kamareddine, Maarek et al. - 2004
Documents on the same site (http://www.macs.hw.ac.uk/~jbw/papers/): More
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) (Correct)
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (Correct)
On the Implementation of Recursion in Call-By-Value.. - Hirschowitz, al. (2003) (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