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

(6)

• Enabling symbolic and numerical computations in HOL Light
• Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
• OpenMath in SCIEnce: SCSCP and POPCORN
• scientific article; zbMATH DE number 1253990 (Why is no real title available?)
• The control layer in open mechanized reasoning systems: Annotations and tactics
• A Rule-Based System for Computation and Deduction in Mathematica

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)