More reliable software thanks to mathematical demonstrations Phys.org, 14 Jan 2015 It is possible to test computer programs using tools borrowed from mathematicians and their famous demonstrations. A team from…