More reliable software thanks to mathematical demonstrations
Wednesday, January 14, 2015 - 09:30
in Mathematics & Economics
It is possible to test computer programs using tools borrowed from mathematicians and their famous demonstrations. A team from the EPFL is exploring new territory in this area.