Kernwoord wiskunde en informatica
-
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
1 nieuwsbericht
1 totaal aantal publicaties