Nieuw Archief voor Wiskunde
Home Alle nummers Abonnement Advertenties Links

2016

2016

2016

2016


Wiskunde en computers
Onder redactie van Jan Bouwe van den Berg, Bas Spitters, Frank Vallentin
151 RedactioneelJan Bouwe van den Berg, Bas Spitters, Frank Vallentin
159 Homotopy type theory and the formalization of mathematicsEgbert Rijke, Bas Spitters
165 Over digitaal wiskundig lesmateriaalArjeh Cohen
172 Machine-checked mathematicsAssia Mahboubi
177 Een wiskundig bewijs correct bewezen: De meest efficiënte manier om bollen op te stapelenFreek Wiedijk, Herman Geuvers, Josef Urban
184 A breakthrough in sphere packing: the search for magic functionsDavid de Laat, Frank Vallentin
193 Flag algebras: a first glanceMarcel de Carli Silva, Fernando de Oliveira Filho, Cristiane Sato
200 Computational Conley theoryWilliam Kalies, Robert Vandervorst
207 Simulatie + Contractie = BewijsJan Bouwe van den Berg, Chris Groothedde, Ray Sheombarsing
214 Model checking dynamic systemsPieter Collins
152 Agenda
154 Nieuws
157 IMAGINARY in NederlandWil Schilders
221 Het keerpunt van Jaap van den HerikJan Beuving
223 Bespreking examen vwo wiskunde B 2016: Moeilijk of ongemakkelijk?Wim Caspers
226 Problemen