Kernwoord

  1. 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: Alex van den Brandhof en Koen Vervloesem

Volg ons op twitter Word onze fan op facebook