Computer Algebra Middag

Op maandag 8 mei, 2000 wordt een middag met drie voordrachten over aspecten van de computer algebra en het gebruik ervan in onderzoek en onderwijs georganiseerd aan de Universiteit van Nijmegen, onder auspicien van de Stichting Computer Algebra Nederland. De voordrachten beginnen om 2 uur precies, en vinden plaats in zaal A0002 van de A-vleugel van de beta-faculteit (Toernooiveld 1), direct naast de hoofdingang links, op de begane grond. Op het kaartje bevindt de hoofdingang zich bij het nummertje 1 net boven `B-faculteiten'. Hier vindt U informatie omtrent de bereikbaarheid van de universiteit; station Heyendaal is op loopafstand, Nijmegen Centraal Station is per bus in 10 minuten te bereiken. Parkeergelegenheid is meestal wel te vinden op het terrein vlak onder de `B-faculteiten' op het kaartje.

• 14:00 - 15:00 Prof. dr A.M Cohen (Technische Universiteit Eindhoven)
  De virtuele werkelijkheid van de wiskunde is realiseerbaar op de computer
  • samenvatting ik zal ingaan op het probleem om wiskundige documenten te creeren waarin de wiskunde leeft zoals we hem ervaren. Dat wil niet alleen zeggen dat we berekeningen direct kunnen verifieren, maar ook dat de logica verifieerbaar is, en dat er een context bestaat waarbinnen onze variabelen, axioma's en definities vast liggen. Een cruciale rol daarbinnen speelt de mogelijkheid (geboden door OpenMath) om wiskundige objecten uit te wisselen tussen allerhande wiskundige software (denk aan computer algebra, automatische bewijsverificatoren, en TeX).
• 15:00 - 15:15 koffie en thee
• 15:15 - 16:00 Freek Wiedijk (Katholieke Universiteit Nijmegen
  Computer algebra met condities?
  • samenvatting: De huidige generatie computer algebra systemen beantwoordt niet het soort vragen dat bij proof-checken optreedt. Analyse van de "calculus" berekeningen in een voorbeeld van een computerbewijs, toont dat deze gebruik maken van eerdere vergelijkingen uit de bewijsgang. Omdat dit soort "condities" niet kan worden ingevoerd (en dus niet gebruikt) in pakketten als Maple en Mathematica, is de huidige computer algebra minder bruikbaar voor proof- checken dan je zou verwachten.
• 16:15 - 17:15 Stephan van Gils (Technische Universiteit Twente)
  De rol en de lol van computer algebra.
  • samenvatting: Hoewel het gebruik van computer algebra de afgelopen 10 jaar behoorlijk is toegenomen, is er nog veel voor nodig om het de plaats in het onderwijs te geven die het verdient.

Last update: 10 april 2000.