On the role of OpenMath in interactive mathematical documents

DOI10.1006/JSCO.2000.0466MaRDI QIDQ5950932zbMATH OpenOpenAlexFDO

Authors Olga Caprotti, Arjeh M. Cohen

Publication date 2 January 2002

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.2000.0466

zbMATH Keywords

OpenMath

Mathematics Subject Classification ID

Artificial intelligence (68T99) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 2079832
• scientific article; zbMATH DE number 1961549
• Interactive Mathematical Documents
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• scientific article; zbMATH DE number 1687007

Cites work

• scientific article; zbMATH DE number 3596774 (Why is no real title available?)
• scientific article; zbMATH DE number 1253990 (Why is no real title available?)
• scientific article; zbMATH DE number 1254011 (Why is no real title available?)
• scientific article; zbMATH DE number 1254246 (Why is no real title available?)
• scientific article; zbMATH DE number 1262431 (Why is no real title available?)
• scientific article; zbMATH DE number 517013 (Why is no real title available?)
• scientific article; zbMATH DE number 1543304 (Why is no real title available?)
• scientific article; zbMATH DE number 1389647 (Why is no real title available?)
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Selected papers on AUTOMATH, dedicated to N. G. de Bruijn

Cited in

(14)

• Dealing with algebraic expressions over a field in Coq using Maple
• scientific article; zbMATH DE number 1687007 (Why is no real title available?)
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 1262427 (Why is no real title available?)
• scientific article; zbMATH DE number 1961549 (Why is no real title available?)
• scientific article; zbMATH DE number 2079831 (Why is no real title available?)
• scientific article; zbMATH DE number 2079832 (Why is no real title available?)
• scientific article; zbMATH DE number 1497742 (Why is no real title available?)
• Interactive Mathematical Documents
• Mathematical Knowledge Management
• Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants
• Formal and efficient primality proofs by use of computer algebra oracles
• The freedom to extend OpenMath and its utility

Describes a project that uses

Uses Software

• Coq
• Theorema
• OMRS
• MBase
• LEGO
• Automath
• Analytica

This page was built for publication: On the role of OpenMath in interactive mathematical documents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5950932)