SMS versenden: Využitie matematického softvéru pri riešení optimalizačných úloh v poistení