An OpenMath 1.0 implementation

Authors:
Stéphane Dalmas;Marc Gaëtano;Stephen Watt
Affiliations:
INRIA Sophia Antipolis, projet SAFIR, 2004 route des Lucioles, BP 93, 06902 Sophia-Antipolis Cedex, France;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;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
Venue:
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Year:
1997

Citing 5
Cited 16

A first report on the A# compiler

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
MP: a protocol for efficient exchange of mathematical expressions

ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
A report on OpenMath: a protocol for the exchange of mathematical information

ACM SIGSAM Bulletin
Pluggability Issues in the Multi Protocol

DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Making Systems Communicate and Cooperate: The Central Control Approach

DISCO '96 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems

Coordinating mathematical content and presentation markup in interactive mathematical documents

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Software components for computer algebra

ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Symbolic computation in Java: an appraisement

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Automated theorem proving in support of computer algebra: symbolic definite integration as a case study

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Design of a customizable component to display and edit formulas

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
Design and protocol for Internet accessible mathematical computation

ISSAC '99 Proceedings of the 1999 international symposium on Symbolic and algebraic computation
OpenMath and MathML: semantic markup for mathematics

Crossroads - Special issue on markup languages
Advanced notations in mathematica

ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
On the role of OpenMath in interactive mathematical documents

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters

ACM SIGSAM Bulletin
Algorithms and Proofs Inheritance in the FOC Language

Journal of Automated Reasoning
VSDITLU: a verifiable symbolic definite integral table look-up

CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Cited References

Computer algebra handbook
MKM: a new interdisciplinary field of research

ACM SIGSAM Bulletin
Design of automation systems for web based courseware using XML and XSLT

DNIS'05 Proceedings of the 4th international conference on Databases in Networked Information Systems
A Pragmatic Approach to Extending Provers by Computer Algebra — with Applications to Coding Theory

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

An OpenMath 1.0 implementation

Quantified Score

Visualization

Abstract