scientific article; zbMATH DE number 2125587

zbMATH Open1072.65500MaRDI QIDQ3156409FDOQ3156409

Authors: Manfred Göbel, Wolfgang Küchlin, Stefan Müller, Andreas Weber 

Publication date: 7 January 2005

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

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to numerical analysis (65-04)

Cited In (2)

• Formal and efficient primality proofs by use of computer algebra oracles
• Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Uses Software

• REDUCE
• REDLOG

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 Q3156409)