scientific article; zbMATH DE number 1497742

MaRDI QIDQ4499152zbMATH OpenFDO

Authors Arjeh M. Cohen, Olga Caprotti

Publication date 6 March 2001

zbMATH Keywords

OpenMath

Mathematics Subject Classification ID

Recommendations

• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• scientific article; zbMATH DE number 1574466
• On the role of OpenMath in interactive mathematical documents
• Realization of an OpenMath server for REDUCE
• scientific article; zbMATH DE number 1389647

Cited in

(5)

• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• Enabling symbolic and numerical computations in HOL Light
• OpenMath in SCIEnce: SCSCP and POPCORN
• A Rule-Based System for Computation and Deduction in Mathematica
• The control layer in open mechanized reasoning systems: Annotations and tactics

Describes a project that uses

Uses Software

• Maple
• Coq

This page was built for publication:

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