Nieuw Archief voor Wiskunde
Home Alle nummers Abonnement Advertenties Links

laatste nummer

contact

informatie voor auteurs

Koninklijk Wiskundig Genootschap

sponsors

kennismaking

problemen

Een selectie uit de artikelen van het septembernummer:

  • IMAGINARY in Nederland van Wil Schilders
    Van september 2016 tot juli 2017 trekt IMAGINARY door Nederland. IMAGINARY is een tentoonstelling over wiskundige objecten, gecreëerd door het wiskundige onderzoeksinstituut Oberwolfach in Zuid-Duitsland. Het is ontstaan in 2008 tijdens het Duitse ‘Jaar van de wiskunde’ en is snel uitgegroeid tot een van de meest wijdverspreide reizende wiskunde-tentoonstellingen in de wereld, met meer dan één miljoen bezoekers in 29 landen en 120 steden.
  • Machine-checked mathematics van Assia Mahboubi
    Assia Mahboubi is a permanent researcher at the French research institute Inria. She also works at the Microsoft-Inria Joint Centre. She has contributed to the formalization of the Feit–Thompson theorem in the Coq proof assistant and is currently working on verified computer algebra. In this article she gives an overview about machine-checked mathematics.
  • Simulatie + Contractie = Bewijs van Jan Bouwe van den Berg, Chris Groothedde, Ray Sheombarsing
    In hoeverre is het verantwoord om de resultaten van een simulatie van een probleem als benadering van een oplossing van het probleem te interpreteren? Een van de manieren om deze vraag te benaderen is door middel van zogenaamde computer-assisted (door de computer ondersteunde) bewijsmethoden. In dit artikel presenteren Jan Bouwe van den Berg, Chris Groothedde en Ray Sheombarsing een methode die, met als uitgangspunt een zorgvuldig geproduceerde numerieke simulatie, de mogelijkheid biedt om het probleem op een wiskundig exacte manier op te lossen met behulp van een computer.


Alle artikelen van de vijfde serie van het Nieuw Archief voor Wiskunde zijn een jaar na publicatie online beschikbaar.

Het Nieuw Archief voor Wiskunde is een uitgave van het Koninklijk Wiskundig Genootschap en verschijnt vier keer per jaar. Het tijdschrift richt zich op eenieder die zich beroepsmatig met wiskunde bezighoudt, als academisch of industrieel onderzoeker, student, leraar, journalist of beleidsmaker. Het stelt zich ten doel te berichten over ontwikkelingen in de wiskunde in het algemeen en in de Nederlandse wiskunde in het bijzonder.

september 2016