ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Coordinating mathematical content and presentation markup in interactive mathematical documents
Full text PdfPdf (247 KB)
Source International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1998 international symposium on Symbolic and algebraic computation table of contents
Rostock, Germany
Pages: 54 - 61  
Year of Publication: 1998
ISBN:1-58113-002-3
Author
Samuel S. Dooley  Interactive Scientific Publishing Group, IBM T. J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY
Sponsors
German Comp Soc : GI - Gesellshaft for Informatik
SIGSAM: ACM Special Interest Group on Symbolic and Algebraic Manipulation
SIGNUM: ACM Special Interest Group on Numerical Mathematics
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 4,   Downloads (12 Months): 14,   Citation Count: 5
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/281508.281545
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
T. A. Ager , R. A. Ravaglia , S. Dooley, Representation of inference in computer algebra systems with applications to intelligent tutoring, Proceedings of the third conference on Computers and mathematics, p.215-227, May 1989, Boston, Massachusetts, United States
2
Stéphane Dalmas , Marc Gaëtano , Stephen Watt, An OpenMath 1.0 implementation, Proceedings of the 1997 international symposium on Symbolic and algebraic computation, p.241-248, July 21-23, 1997, Kihei, Maui, Hawaii, United States  [doi>10.1145/258726.258794]
 
3
DOOLEY, S. S. The use of domain restrictions in computer algebra systems. Master's thesis, Computer Science Division, EECS Department, University of California, Berkeley, 14 December 1988.
 
4
Richard J. Fateman, More Versatile Scientific Document, Proceedings of the 4th International Conference on Document Analysis and Recognition, p.1107-1110, August 18-20, 1997
 
5
GEOMETRY TECHNOLOGIES, INC. WebEQ: Putting math on the web. http://www.webeq.com/, 1997.
 
6
ION, P., AND MINER, R. Mathematical markup language. Working Draft WD-math-980106, W3C, 6 January 1998. http://www.w3.org/TR/WD-math- 980106/.
 
7
JACOB, B. Linear Functions and Matrix Theory. Springer-Verlag, New York, 1995.
 
8
Richard D. Jenks , Robert Sutor, AXIOM: the scientific computation system, Springer-Verlag New York, Inc., New York, NY, 1992
 
9
KUCHLIN, W. W., Ed. Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (New York, 21-23 July 1997), ACM SIGSAM, ACM Press. Maui, Hawaii.
 
10
MILLEN, J. K. Charybdis: A Lisp program to display mathematical expressions on typewriter-like devices. Tech. Rep. MTP-63, The MITRE Corporation, Bedford, Massachusetts, August 1967.
 
11
SUTOR, R. The techexplorer Hypermedia Browser. ht t p:: / / www. alp haWor ks. ib m.co m / formula / techexplorer, 18 November 1997.
 
12
The QED Manifesto, Proceedings of the 12th International Conference on Automated Deduction, p.238-251, June 26-July 01, 1994

CITED BY  5
Ha Le , Chris Howlett, Client-server communication standards for mathematical computation, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.299-306, July 28-31, 1999, Vancouver, British Columbia, Canada
P. Wang , S. Gray , N. Kajler , D. Lin , W. Liao , X. Zou, IAMC architecture and prototyping: a progress report, Proceedings of the 2001 international symposium on Symbolic and algebraic computation, p.337-344, July 2001, London, Ontario, Canada
Paul S. Wang, Design and protocol for Internet accessible mathematical computation, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.291-298, July 28-31, 1999, Vancouver, British Columbia, Canada
Robert Sinclair, Interactive mathematics textbooks, ACM SIGPLAN Notices, v.38 n.2, February 2003
Samuel S. Dooley, Editing mathematical content and presentation markup in interactive mathematical documents, Proceedings of the 2002 international symposium on Symbolic and algebraic computation, p.55-62, July 07-10, 2002, Lille, France

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.2 PHYSICAL SCIENCES AND ENGINEERING
      Subjects: Mathematics and statistics

Additional Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)

  I. Computing Methodologies
  I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION
      I.1.2 Algorithms
          Subjects: Algebraic algorithms
  I.7 DOCUMENT AND TEXT PROCESSING
      I.7.2 Document Preparation
          Subjects: Markup languages


General Terms:
Algorithms, Languages

Collaborative Colleagues:
Samuel S. Dooley: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player