existence a jednoznačnost řešení systémů obyčejných diferenciálních rovnic, rovnice se separovanými proměnnými, homogenní a nehomogenní lineární ODE (algoritmus pro rovnice s konstantními koeficienty)