scientific article; zbMATH DE number 1253990

zbMATH Open0923.68069MaRDI QIDQ4226969FDOQ4226969

Authors: Stephane Dalmas, Stephen M. Watt, Marc Gaetano 

Publication date: 23 February 1999

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

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

zbMATH Keywords

open math

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cited In (7)

• On the role of OpenMath in interactive mathematical documents
• The freedom to extend OpenMath and its utility
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)