Problem definition
Lotka (1925); Volterra (1926)
Math used in the published benchmark cell — so you can confirm the name matches the ODE you expect. Not a runnable fixture.
ẋ = a x − b x z
ż = d x z − c z
- Initial condition
- (x, z)(0) = (1, 1)
- Horizon
- t ∈ [0, 20]
Conservative predator–prey form used in the freeze (Hamiltonian structure).
Cite this page
Replace the access date. Pin the freeze ID and library versions when comparing against a later export. Cite it as what it is — a self-reported vendor benchmark, not an independently verified result. The note field says so; please keep it.
@misc{resonix_evidence_lotka_volterra_2026,
title = {Resonix Evidence Portal: Lotka–Volterra predator–prey},
author = {{Resonix Labs (Canada) Inc.}},
year = {2026},
howpublished = {\url{https://resonix.tech/evidence/problems/lotka_volterra}},
note = {Self-reported vendor benchmark; internally generated by Resonix Labs and not independently verified. Accessed YYYY-MM-DD. Freeze 2026-08-13; libsolvsrk 2.3.0; SciPy 1.14.}
}TRL 4–5 · simulation-lab validated · 398 problems · 14 solver arms · clean + 5 noise levels
Freeze: 2026-08-13 · scipy 1.14 · libsolvsrk 2.3.0 · Methodology
Self-reported by Resonix Labs · not independently verified · Verification status