Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714): Difference between revisions

Latest revision as of 04:05, 3 July 2024

scientific article

Language	Label	Description	Also known as
English	Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)	scientific article

Statements

instance of

scholarly article

0 references

title

Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (English)

@@ Property / describes a project that uses @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+REDLOG
@@ Property / describes a project that uses: REDLOG / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-15274-0_24
+Normal rank
@@ Property / OpenAlex ID @@
+W1665098782
@@ Property / OpenAlex ID: W1665098782 / rank @@
+Normal rank
@@ Property / cites work @@
+Centennial History of  Hilbert's 16th Problem
@@ Property / cites work: Centennial History of Hilbert's 16th Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
+Normal rank
@@ Property / cites work @@
+Algebraic approaches to stability analysis of biological systems
+Normal rank
@@ Property / cites work @@
+Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
+Normal rank
@@ Property / cites work @@
+On Proving the Absence of Oscillations in Models of Genetic Circuits
+Normal rank
@@ Property / cites work @@
+Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
+Normal rank
@@ Property / cites work @@
+Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems
+Normal rank
@@ Property / cites work @@
+Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
+Normal rank
@@ Property / cites work @@
+Q5766570
@@ Property / cites work: Q5766570 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Real quantifier elimination is doubly exponential
@@ Property / cites work: Real quantifier elimination is doubly exponential / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Simplification of quantifier-free formulae over ordered fields
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial Intelligence and Symbolic Computation
@@ Property / cites work: Artificial Intelligence and Symbolic Computation / rank @@
+Normal rank
@@ Property / cites work @@
+New Domains for Applied Quantifier Elimination
@@ Property / cites work: New Domains for Applied Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Weak quantifier elimination for the full linear theory of the integers
+Normal rank
@@ Property / cites work @@
+Weak Integer Quantifier Elimination Beyond the Linear Case
+Normal rank
@@ Property / cites work @@
+Simulation and optimization by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Compound matrices and ordinary differential equations
+Normal rank
@@ Property / cites work @@
+Q2756510
@@ Property / cites work: Q2756510 / rank @@
+Normal rank
@@ Property / cites work @@
+Bendixon-Type Theorems with Applications
@@ Property / cites work: Bendixon-Type Theorems with Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of Bendixson’s criterion
@@ Property / cites work: A generalization of Bendixson’s criterion / rank @@
+Normal rank
@@ Property / cites work @@
+A semi-algebraic approach for asymptotic stability analysis
+Normal rank
@@ Property / cites work @@
+Q2776687
@@ Property / cites work: Q2776687 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3503445
@@ Property / cites work: Q3503445 / rank @@
+Normal rank

Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk) (Q3587714): Difference between revisions

Latest revision as of 04:05, 3 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)