Parametric toricity of steady state varieties of reaction networks (Q831994): Difference between revisions

@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+A Case Study on the Parametric Occurrence of Multiple Steady States
+Normal rank
@@ Property / cites work @@
+Identifying the parametric occurrence of multiple steady states for some biological networks
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination by cylindrical algebraic decomposition based on regular chains
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Detecting binomiality
@@ Property / cites work: Detecting binomiality / rank @@
+Normal rank
@@ Property / cites work @@
+Toric dynamical systems
@@ Property / cites work: Toric dynamical systems / rank @@
+Normal rank
@@ Property / cites work @@
+Simplification of quantifier-free formulae over ordered fields
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+A kinetic mechanism for nicotinic acetylcholine receptors based on multiple allosteric transitions
+Normal rank
@@ Property / cites work @@
+Binomial ideals
@@ Property / cites work: Binomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
+Normal rank
@@ Property / cites work @@
+Foundations of chemical reaction network theory
@@ Property / cites work: Foundations of chemical reaction network theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329395
@@ Property / cites work: Q4329395 / rank @@
+Normal rank
@@ Property / cites work @@
+Bernstein's second theorem and Viro's method for sparse polynomial systems in chemistry
+Normal rank
@@ Property / cites work @@
+Complexity of deciding Tarski algebra
@@ Property / cites work: Complexity of deciding Tarski algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently and effectively recognizing toricity of steady state varieties
+Normal rank
@@ Property / cites work @@
+Nash resolution for binomial varieties as Euclidean division. A priori termination bound, polynomial complexity in essential dimension 2
+Normal rank
@@ Property / cites work @@
+Decompositions of binomial ideals
@@ Property / cites work: Decompositions of binomial ideals / rank @@
+Normal rank
@@ Property / cites work @@
+Better answers to real questions
@@ Property / cites work: Better answers to real questions / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic reduction of biological networks with multiple time scales
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Sign conditions for injectivity of generalized polynomial maps with applications to chemical reaction networks and real algebraic geometry
+Normal rank
@@ Property / cites work @@
+The Structure of MESSI Biological Systems
@@ Property / cites work: The Structure of MESSI Biological Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Chemical reaction systems with toric steady states
+Normal rank
@@ Property / cites work @@
+A linear algebra approach for detecting binomiality of steady state ideals of reversible chemical reaction networks
+Normal rank
@@ Property / cites work @@
+First-order tests for toricity
@@ Property / cites work: First-order tests for toricity / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
+Normal rank
@@ Property / cites work @@
+Thirty Years of Virtual Substitution
@@ Property / cites work: Thirty Years of Virtual Substitution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank
@@ Property / cites work @@
+On the number of steady states in a multiple futile cycle
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank