Řešení ne-lineárních podmínek na základě nad-aproximace lineárními ne-rovnicemi

Práce zahrnuje rozšíření existujícího řešiče RSolver o nad-aproximaci ne-lineárních podmínek lineárními ne-rovnicemi.