Ikke-lineære likningssett med CAS