scientific article
From MaRDI portal
Publication:3156409
zbMath1072.65500MaRDI QIDQ3156409
Wolfgang Küchlin, Stefan Müller, Manfred Göbel, Andreas Weber
Publication date: 7 January 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to numerical analysis (65-04)
Related Items
Formal and efficient primality proofs by use of computer algebra oracles ⋮ Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
Uses Software
This page was built for publication:
