A Computer-Assisted Study of Red Coral Population Dynamics (Q5039935)
From MaRDI portal
scientific article; zbMATH DE number 7599176
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Computer-Assisted Study of Red Coral Population Dynamics |
scientific article; zbMATH DE number 7599176 |
Statements
10 October 2022
0 references
bifurcations
0 references
computer-assisted proofs
0 references
red coral
0 references
age-structured population models
0 references
interval arithmetic
0 references
rigorous validation
0 references
math.DS
0 references
