::VERICOMP Problems Solvers Recommend External links Documentation Register
<< back

Harmonic Oscillator 2


Description:

Derived from a second order linear equation with circular solution trajectories.

Keywords:

periodic; min test set


Plots: