An OpenMath 1.0 implementation

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

An OpenMath 1.0 implementation

Full text

Pdf (1.03 MB)

Source

International Conference on Symbolic and Algebraic Computation archive
Proceedings of the 1997 international symposium on Symbolic and algebraic computation table of contents

Kihei, Maui, Hawaii, United States

Pages: 241 - 248

Year of Publication: 1997

ISBN:0-89791-875-4

Authors

Stéphane Dalmas	INRIA Sophia Antipolis, projet SAFIR, 2004 route des Lucioles, BP 93, 06902 Sophia-Antipolis Cedex, France
Marc Gaëtano	INRIA Sophia Antipolis, projet SAFIR, 2004 route des Lucioles, BP 93, 06902 Sophia-Antipolis Cedex, France and 13S, CNRS URA 1376, Université de Nice Sophia-Antipolis
Stephen Watt	INRIA Sophia Antipolis, projet SAFIR, 2004 route des Lucioles, BP 93, 06902 Sophia-Antipolis Cedex, France and IBM T.J. Watson Research Center, Yorktown Hts, NY

Sponsors

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): 2, Downloads (12 Months): 15, Citation Count: 13

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/258726.258794 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	John Abbott , Angel Díaz , Robert S. Sutor, A report on OpenMath: a protocol for the exchange of mathematical information, ACM SIGSAM Bulletin, v.30 n.1, p.21-24, March 1996 [doi>10.1145/231191.231194]
	2	ABBOTT, J. OpenMath design committee report: Version 23, Dec. 1996. http://~r~.w3.orglOpeaMathl Hist ory/reports/design-report, ps. gz.
	3	ABBOTT, J., VAN LEEUWEN, A., AND STROTMANN, A. Objectives of OpenMath. Technical Report 12, RIACA, 1996.
	4	CHtCHA, Y. Animation de programmes fonctionnels. Master's thesis, Universitd de Nice, 1996.
	5	Stéphane Dalmas , Marc Gaëtano, Making Systems Communicate and Cooperate: The Central Control Approach, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.308-319, September 18-20, 1996
	6	DALMAS, S., GAETANO, M., AND SAUSSE, A. ASAP" A Protocol for Symbolic Computation Systems. Tech. Rep. 162, Institut National de Recherche en Informatique et en Automatique, Max. 1994.
	7	Simon Gray , Norbert Kajler , Paul Wang, MP: a protocol for efficient exchange of mathematical expressions, Proceedings of the international symposium on Symbolic and algebraic computation, p.330-335, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190435]
	8	Simon Gray , Norbert Kajler , Paul S. Wang, Pluggability Issues in the Multi Protocol, Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems, p.343-356, September 18-20, 1996
	9	THE OPENMATH COMMUNICATIONS COMMITTEE. Openmath communications committee report. Technical Report 11, RIACA, 1996.
	10	THE OPENMATH STEERING COMMITTEE. Openmath version i .0 released, Dec. 1996. http://weE, openmath, org.
	11	THE WORLD WIDE WEB CONSORTIUM. HTML math working group, 1997. http'.//w~rw.w3.org/pub/NNW/ MarkUp/Math.
	12	VORKOETTER, S. Proposed OpenMath specification: Draft version 1.1, July 1995. ht tp: //~. v3. org/flpenMath/Hist ory/report s / prototypeO-spec, ps. gz.
	13	Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor, A first report on the A# compiler, Proceedings of the international symposium on Symbolic and algebraic computation, p.25-31, July 20-22, 1994, Oxford, United Kingdom [doi>10.1145/190347.190356]
	14	WOLFRAM RESEARCH. Mathlink Reference Guide (version ~. 2), 1993.
	15	ZIPPEL, R. Mathbus, Feb. 1997. http://mb'w2. cs. cornell, edu/Simlab/papers/mathbus/ mathTerm, him.

CITED BY 13

	O. Caprotti , A. M. Cohen, On the role of OpenMath in interactive mathematical documents, Journal of Symbolic Computation, v.32 n.4, p.351-364, October 2001
	Laurent Bernardin , Bruce Char , Erich Kaltofen, Symbolic computation in Java: an appraisement, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.237-244, July 28-31, 1999, Vancouver, British Columbia, Canada
	Samuel S. Dooley, Coordinating mathematical content and presentation markup in interactive mathematical documents, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.54-61, August 13-15, 1998, Rostock, Germany
	Pietro Iglio , Giuseppe Attardi, Software components for computer algebra, Proceedings of the 1998 international symposium on Symbolic and algebraic computation, p.62-69, August 13-15, 1998, Rostock, Germany
	Jason Harris, Advanced notations in mathematica, Proceedings of the 2000 international symposium on Symbolic and algebraic computation, p.153-160, July 2000, St. Andrews, Scotland
	A. A. Adams , H. Gottliebsen , S. A. Linton , U. Martin, Automated theorem proving in support of computer algebra: symbolic definite integration as a case study, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.253-260, July 28-31, 1999, Vancouver, British Columbia, Canada
	Olivier Arsac , Stphane Dalmas , Marc Gaétano, Design of a customizable component to display and edit formulas, Proceedings of the 1999 international symposium on Symbolic and algebraic computation, p.283-290, July 28-31, 1999, Vancouver, British Columbia, Canada
	Johannes Grabmeier , Erich Kaltofen , Volker Weispfenning, Cited References, Computer algebra handbook, Springer-Verlag New York, Inc., New York, NY, 2003
	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
	William M. Farmer, MKM: a new interdisciplinary field of research, ACM SIGSAM Bulletin, v.38 n.2, June 2004
	O. Caprotti , D. Carlisle, OpenMath and MathML: semantic markup for mathematics, Crossroads, v.6 n.2, p.11-14, Winter 1999
	Hoon Hong , Erich Kaltofen , Michael Singer, East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters, ACM SIGSAM Bulletin, v.33 n.2, p.43-52, June 1999
	Virgile Prevosto , Damien Doligez, Algorithms and Proofs Inheritance in the FOC Language, Journal of Automated Reasoning, v.29 n.3-4, p.337-363, 2002