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
• Publication:4934140

Cited in

(5)

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

Describes a project that uses

Uses Software

• Coq
• Maple

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)