An OpenMath 1.0 implementation

Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen M.

doi:10.1145/258726.258794

Cited by 27 publications

(9 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the meantime, the World Wide Web Consortium has published the recommandation for the Mathematical Markup Language (MathML) for describing mathematical notation and capturing both its structure and content [2]. Similarly, the OpenMath Society has endorsed a newer version of the OpenMath standard for representing the semantics of mathematical objects and facilitating the exchange between computer programs, the storage in knowledge bases, and the electronic publication of mathematics [15,11,9].…”

Section: Openmath Mathml and Related Technologiesmentioning

confidence: 99%

OpenMath Technology for Interactive Mathematical Documents

Caprotti

Cohen

Cuypers

et al. 2002

Multimedia Tools for Communicating Mathematics

View full text Add to dashboard Cite

Abstract. New technologies such as xml, xsl and both MathML and OpenMath make it possible to bring mathematics to the Internet. Indeed, OpenMath, a markup language for mathematical content, and OmDoc, its extension to mathematical documents, open a way of communicating mathematics between computers, between software applications and over the Internet without losing information. In this paper we describe the latest applications of OpenMath related technologies for Interactive Mathematical Documents. As an example we describe the way we incorporate these new technologies in a new version of Algebra Interactive, an interactive course on first and second year university algebra.

show abstract

Section: Openmath Mathml and Related Technologiesmentioning

confidence: 99%

OpenMath Technology for Interactive Mathematical Documents

Caprotti

Cohen

Cuypers

et al. 2002

Multimedia Tools for Communicating Mathematics

View full text Add to dashboard Cite

show abstract

“…The data in this communication are in the format of the algebra system and will be transformed by the Java client adapter into an internal exchange format. We currently use the exchange format of the MathBus (Zippel, 1997), but the MathBus could be substituted by another exchange format such as OpenMath (Dalmas et al, 1997;PolyMath Development Group, 1997) without too much effort. We have currently implemented parsers for the MathBus and MathML (World Wide Web Consortium, 1997), Maple, Mathematica and Redlog.…”

Section: Overview Of the Java-based Architecturementioning

confidence: 99%

Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture

Kahoui

Weber

2000

Journal of Symbolic Computation

View full text Add to dashboard Cite

In this paper we give a semi-algebraic description of Hopf bifurcation fixed points for a given parameterized polynomial vector field. The description is carried out by use of the Hurwitz determinants, and produces a first-order formula which is transformed into a quantifier-free formula by the use of usual-quantifier elimination algorithms. We apply techniques from the theory of sub-resultant sequences and of Gröbner bases to come up with efficient reductions, which lead to quantifier elimination questions that can often be handled by existing quantifier elimination packages.We could implement the algorithms for the conditions on Hopf bifurcations by combining the computer algebra system Maple with packages for quantifier elimination using a Java-based component architecture recently developed by the second author. In addition to some textbook examples we applied our software system to an example discussed in a recent research paper.

show abstract

“…Originally, it was conceived as a language for all computer algebra packages (Dalmas et al, 1997;OpenMath, 1999). Currently it is equipped for conveying mathematical expressions from all areas of mathematics, for instance logic.…”

Section: Openmathmentioning

confidence: 99%

On the Role of OpenMath in Interactive Mathematical Documents

Caprotti

Cohen

2001

Journal of Symbolic Computation

View full text Add to dashboard Cite

The standard OpenMath is an enabling technology for creating an integrated computer environment in which software packages for computer algebra and for proof checking can be combined. Here we demonstrate how OpenMath can be employed for generating interactive mathematical documents containing primality proofs. Our case study takes place within a browser; once a prime number is specified, a document appears summarizing the proof in a number of assertions. By clicking an assertion regarding the truth of an arithmetic equality, a computer algebra calculation is invoked verifying the equality. By clicking an assertion regarding a specific mathematical lemma called Pocklington's Criterion, a verification of the corresponding formal proof is carried out by a proof checker. Moreover, the whole document is structured in such a way that it can be easily translated to a formal proof object. OpenMath supports the interaction between the document as it appears in the browser and the mathematical software packages. This paper begins with an introduction to OpenMath and a brief comparison with MathML.

show abstract

An OpenMath 1.0 implementation

Cited by 27 publications

References 5 publications

OpenMath Technology for Interactive Mathematical Documents

OpenMath Technology for Interactive Mathematical Documents

Deciding Hopf Bifurcations by Quantifier Elimination in a Software-component Architecture

On the Role of OpenMath in Interactive Mathematical Documents

Contact Info

Product

Resources

About