Koen Vervloesem
Staat hier geen beschrijving of heeft u opmerkingen over de beschrijving of foto? Stuur ons dan via een korte beschrijving en een foto van Koen Vervloesem.
Publicaties op kennislink.nl
-
Rubikkubus in slechts 26 stappen
dinsdag, 17 augustus 2010 · Nieuws
Het aantal draaibewegingen dat nodig is om een Rubikkubus op te lossen, bedraagt nooit meer dan 26. Dat bewezen twee informatici uit Boston. Men vermoedt dat het nog zuiniger kan, maar dat heeft nog niemand ooit kunnen bewijzen.
Auteurs: en
-
Formele bewijzen: het DNA van de wiskunde
vrijdag, 14 november 2008 · Nieuws
Het decembernummer van de Notices of the American Mathematical Society heeft als thema ‘formal proof’, met artikelen over de recentste ontwikkelingen van door computers gegenereerde en door computers geverifieerde bewijzen.
Auteurs: en
-
Student vindt eenvoudigste universele Turingmachine
vrijdag, 26 oktober 2007 · Nieuws
Een prijsvraag die in mei van dit jaar werd uitgeschreven is gewonnen door de twintigjarige student Alex Smith. Hij bewees dat de zogeheten ‘2,3-Turingmachine’ universeel is.
Auteur:
-
Veiligheid RSA-encryptie in gevarenzone
donderdag, 24 mei 2007 · Nieuws
De huidige manier waarmee betalingsverkeer over het internet wordt beveiligd, wordt in hoog tempo minder veilig. Een nieuw factorisatierecord laat zien dat er geen duizenden jaren meer nodig zijn om dergelijke versleutelingen te breken.
Auteurs: en
4 nieuwsberichten
4 totaal aantal publicaties