Sign up to save your podcasts
Or
Share Supercomputer efterprøver verdens største matematiske bevis
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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
View all episodes
By DeIC (Danish e-Infrastructure Cooperation)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