scientific article; zbMATH DE number 1253990

MaRDI QIDQ4226969zbMATH OpenFDO

Authors Stephane Dalmas, Stephen M. Watt, Marc Gaetano

Publication date 23 February 1999

zbMATH Keywords

open math

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1795744
• scientific article; zbMATH DE number 1574466
• Realization of an OpenMath server for REDUCE
• OpenMath in SCIEnce: SCSCP and POPCORN
• scientific article; zbMATH DE number 1497742

Cited in

(7)

• On the role of OpenMath in interactive mathematical documents
• The freedom to extend OpenMath and its utility
• scientific article; zbMATH DE number 1795744 (Why is no real title available?)
• scientific article; zbMATH DE number 1574466 (Why is no real title available?)
• Formal and efficient primality proofs by use of computer algebra oracles
• Realization of an OpenMath server for REDUCE
• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Describes a project that uses

Uses Software

• 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 Q4226969)