/invariant-lib

Invariant is a guaranteed library to compute invariants associated to dynamical systems

Primary LanguageC++GNU General Public License v3.0GPL-3.0