Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations

Authors:
Andreas Weber;Thomas Sturm;Werner M. Seiler;Essam O. Abdel-Rahman
Affiliations:
Institut für Informatik II, Universität Bonn, Bonn, Germany;Departamento de Matemáticas, Estadística y Computación, Facultad de Ciencias, Universidad de Cantabria, Santander, Spain;Institut für Mathematik, Universität Kassel, Kassel, Germany;Institut für Informatik II, Universität Bonn, Bonn, Germany
Venue:
CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing
Year:
2010

Citing 18
Cited 4

The complexity of linear problems in fields

Journal of Symbolic Computation
Real quantifier elimination is doubly exponential

Journal of Symbolic Computation
REDLOG: computer algebra meets computer logic

ACM SIGSAM Bulletin
Testing stability by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simulation and optimization by quantifier elimination

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Simplification of quantifier-free formulae over ordered fields

Journal of Symbolic Computation - Special issue: applications of quantifier elimination
Solving systems of strict polynomial inequalities

Journal of Symbolic Computation
Deciding Hopf bifurcations by quantifier elimination in a software-component architecture

Journal of Symbolic Computation
QEPCAD B: a system for computing with semi-algebraic sets via cylindrical algebraic decomposition

ACM SIGSAM Bulletin
Weak quantifier elimination for the full linear theory of the integers: A uniform generalization of Presburger arithmetic

Applicable Algebra in Engineering, Communication and Computing
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology

AB '08 Proceedings of the 3rd international conference on Algebraic Biology
Differential-Algebraic Systems: Analytical Aspects and Circuit Applications

Differential-Algebraic Systems: Analytical Aspects and Circuit Applications
Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems

Journal of Symbolic Computation
On proving the absence of oscillations in models of genetic circuits

AB'07 Proceedings of the 2nd international conference on Algebraic biology
Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra

Involution: The Formal Theory of Differential Equations and its Applications in Computer Algebra
New domains for applied quantifier elimination

CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
Weak integer quantifier elimination beyond the linear case

CASC'07 Proceedings of the 10th international conference on Computer Algebra in Scientific Computing

Algebraic analysis on asymptotic stability of continuous dynamical systems

Proceedings of the 36th international symposium on Symbolic and algebraic computation
On Muldowney's criteria for polynomial vector fields with constraints

CASC'11 Proceedings of the 13th international conference on Computer algebra in scientific computing
PoCaB: a software infrastructure to explore algebraic methods for bio-chemical reaction networks

CASC'12 Proceedings of the 14th international conference on Computer Algebra in Scientific Computing
Discovering polynomial Lyapunov functions for continuous dynamical systems

Journal of Symbolic Computation

Quantified Score

Hi-index	0.00

Parametric qualitative analysis of ordinary differential equations: computer algebra methods for excluding oscillations

Quantified Score

Visualization

Abstract