Mathematical proof
Using maths to prove computer security
Eureka prize winner Toby Murray from the University of Melbourne once thought maths was boring, but he now relies on it to secure critical computer systems.
Prove it – with maths
Pythagoras' theorem and other mathematical proofs are not just intellectual exercises but reveal the fundamentals of nature say University of Melbourne experts.