Resultant Tools for Parametric Polynomial Systems with Application to Mathematical Biology

arXiv:2201.13189 · cs.SC, q-bio.PE · Submitted 2022-01-31 · Read on arXiv

cs.SC, q-bio.PE

Submitted: 2022-01-31

Updated: 2026-09-21

Code: https://github.com/mincode/dixon

Terminology

• Cylindrical Algebraic Decomposition — 8× in this paper
• Generalization — 2× in this paper · explained in 13 episodes
• Abundance — 1× in this paper · explained in 1 episode
• Aggregation — 1× in this paper · explained in 1 episode
• Cooperation — 1× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Groebner Basis — 1× in this paper
• Homogenization — 1× in this paper · explained in 2 episodes
• Verification — 1× in this paper · explained in 2 episodes

Related papers

• LieDiscover: Adaptive Symbolic Library Construction for Explicit Open-form Symmetry Discovery
• Simple generators of rational function fields
• Generic Characteristic-Zero Equivalence Between Derivative B'ezout Inversion and Multipoint Evaluation
• Diversity of EML-type operators
• Physical Law Ecology: mapping multi-mechanism ecologies as the zeroth step of data-driven scientific discovery
• Learning Fast Monomial Orders for Gr"obner Basis Computations