LawSynthGitHub

Lotka–Volterra

Predator–prey dynamics recovered from the classic Hudson's Bay lynx–hare pelt record: coupled populations that cycle out of phase.

Discover

Recover the world from observations with a single deterministic command:

$ lawsynth discover lynx-hare.csv --time year --state hare,lynx --output lotka-volterra.lsworld

Recovered law system

A clean run recovers the following continuous laws:

d(hare)/dt = α·hare − β·hare·lynx
d(lynx)/dt = δ·hare·lynx − γ·lynx

Fitted parameters: α ≈ 0.55, β ≈ 0.028, δ ≈ 0.026, γ ≈ 0.84.

Next

Inspect and use the bundle:

$ lawsynth explain lotka-volterra.lsworld
$ lawsynth forecast lotka-volterra.lsworld --horizon 40 --step 0.05 --output lotka-volterra-forecast.csv
$ lawsynth report lotka-volterra.lsworld --output lotka-volterra.html