Supercomputer efterprøver verdens største matematiske bevis

Vores mobiltelefoner, autopiloter og hospitalsudstyr anvender alle avanceret  software, men hvordan kan vi vide, at den software, som vi er blevet helt afhængig af, virker som den skal? Det kan vi ved hjælp af matematik. Matematiker og professor i computer science ved SDU Peter Schneider-Kamp forsker i, hvordan man kan bruge matematik til både at verificere og konstruere software. Og så har han lige efterprøvet verdens største matematiske bevis ved at bruge supercomputeren Abacus. Du kan læse mere om Peter Schneider-Kamps forskning på : http://imada.sdu.dk/~petersk/Læs mere om Supercomputing på https://vidensportal.deic.dk