Documentation

LeanPool.Kuramoto

Finite-N Kuramoto Synchronization #

Source: url:https://github.com/velvetmonkey/kuramoto-lean Authors: Ben Cassie Status: verified Main declarations: kuramotoR_norm_le_one, weighted_lyapunov_descent Tags: dynamical-systems, synchronization, kuramoto MSC: 34D06