Využitie matematického softvéru pri riešení optimalizačných úloh v poistení - Slaninka, František, 1973-