Mathematical methods in program development | lit.salon