Identifying Solution Constraints for ODE Systems. - Nicolae Tarfulea (CoRR, 2025)