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