Making Software 'Correct by Construction' Is it possible to build software so that you know that is is correct? How could this be done? Has anyone tried? What would it cost?
Who invented the calculus? - and other 17th century topics The development of the calculus brought together two seemingly unrelated...
Who invented the equals sign? With the invention of printing, mathematical writings became widely available...
Devolution and the territorial Constitution Devolution to Scotland and Wales is a very radical change...