A Computer-Assisted Study of Red Coral Population Dynamics
From MaRDI portal
Publication:5039935
zbMath1506.37109arXiv2008.08011MaRDI QIDQ5039935
Evelyn Sander, Thomas Wanner, Hye Kyung Kim, Sayomi Kamimoto
Publication date: 10 October 2022
Full work available at URL: https://arxiv.org/abs/2008.08011
bifurcationsinterval arithmeticcomputer-assisted proofsage-structured population modelsred coralrigorous validation
Population dynamics (general) (92D25) Interval and finite arithmetic (65G30) Ecology (92D40) Algorithms with automatic result verification (65G20) Computational methods for bifurcation problems in dynamical systems (37M20) Numerical bifurcation problems (65P30)
Related Items (2)
Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators ⋮ Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model
This page was built for publication: A Computer-Assisted Study of Red Coral Population Dynamics