powered by
Functions for validating discovered differential equations through cross-validation, trajectory simulation, and qualitative behavior analysis.