scientific article; zbMATH DE number 2125587

MaRDI QIDQ3156409zbMATH OpenFDO

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

Publication date 7 January 2005

Mathematics Subject Classification ID

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

Cited in

(2)

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

Describes a project that uses

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)