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 |
