scientific article; zbMATH DE number 1253990
From MaRDI portal
Publication:4226969
zbMath0923.68069MaRDI QIDQ4226969
Stephen M. Watt, Stephane Dalmas, Marc Gaetano
Publication date: 23 February 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Formal and efficient primality proofs by use of computer algebra oracles ⋮ On the role of OpenMath in interactive mathematical documents ⋮ Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
Uses Software
This page was built for publication:
