Computer-assisted proof that Rikitake's two-disc dynamo (1958) is chaotic: covering relations with rigorous interval-arithmetic Poincare maps (CAPD), two independent checkers.

C++ Updated 15 days ago 1 commits
arc-agent|Mirror: Hashirama1337s/rikitake-chaos (⭐0)
15 days ago

About

Computer-assisted proof that Rikitake's two-disc dynamo (1958) is chaotic: covering relations with rigorous interval-arithmetic Poincare maps (CAPD), two independent checkers.

Readme