Alan Sexton and Volker Sorge School of Computer Science, University of...  Home/Search
Context
Related
| cs.bham.ac.uk/~vxs/publ...SeSo05mkm1.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.bham.ac.uk/~vxs...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In mathematical textbooks matrices are often represented as objects of inde nite size containing abbreviations. To make the knowledge implicitly given in these representations available in electronic form they have to be interpreted correctly. We present an algorithm that provides the interface between the textbook style representation of matrix expressions and their concrete interpretation as formal mathematical objects. (Update)
Active bibliography (related documents): More All
0.6: Semantic Analysis of Matrix Structures - Alan Sexton And (2005) (Correct)
0.3: Towards an Ecient Representation of - Computational Objects Extended (2005) (Correct)
0.3: Calculemus 2005 Preliminary Version - Connecting Logical Representations (2005) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-processing,
author = "Alan Sexton And",
title = "Processing Textbook-style Matrices",
url = "citeseer.ist.psu.edu/761025.html" }
Citations (may not include all citations):708 Cambridge University Press (context) - Horn, Johnson - 1990
322 First-Order Logic and Automated Theorem Proving (context) - Fitting - 1990
159 Language Reference Manual (context) - Char, Geddes et al. - 1991
6 A recognition method of matrices by using variable block pat.. (context) - Kanahori, Suzuki - 2002
5 A Proof Theory for General Uni cation (context) - Snyder - 1991
3 Intuitive and formal representations: The case of matrices - Pollet, Sorge et al. - 2004
2 Maple Manuals (context) - Heck - 2003
1 Manipulation of matrices symbolically (context) - Fateman - 2003
1 Semantic analysis of matrix structures - Sexton, Sorge - 2005
Documents on the same site (http://www.cs.bham.ac.uk/~vxs/publications.html): More
ΩMEGA: Towards a Mathematical Assistant - Benzmüller, Cheikhrouhou.. (1997) (Correct)
A Blackboard Architecture for Guiding Interactive Proofs - Benzmüller, Sorge (1998) (Correct)
Ω-ANTS - A Blackboard Architecture for the Integration of.. - Sorge (2001) (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