scientific article; zbMATH DE number 1497742

zbMATH Open0958.68154MaRDI QIDQ4499152FDOQ4499152

Authors: Arjeh M. Cohen, Olga Caprotti 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

OpenMath

Mathematics Subject Classification ID

Cited In (5)

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

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)