Krachtigste computerprogramma voor symbolische manipulatie ter wereld, FORM, is nu beschikbaar als open source
FORM, ‘s werelds krachtigste computerprogramma voor de symbolische manipulatie van grote formules, is bij Nikhef ontwikkeld door dr. Jos Vermaseren en is in de afgelopen 25 jaar voortdurend verbeterd. Het wordt door natuurkundigen over de hele wereld gebruikt voor grote en zeer ingewikkelde berekeningen. Het feit dat het nu als open source beschikbaar is onder de GNU Algemene Publieke Licentie is een enorme stap voorwaarts voor de continuïteit en verdere ontwikkeling van FORM. Het open source beleid geeft iedereen toegang tot de broncode en stelt anderen in staat om bij te dragen aan de mogelijkheden van FORM, naast de bijdragen van FORM’s oorspronkelijke schepper Jos Vermaseren. Dit zou de ontwikkeling en overleving van FORM op de lange termijn moeten waarborgen.
Over FORM
FORM wordt gebruikt voor grote berekeningen binnen de wis- en natuurkunde en in het bijzonder om precisievoorspellingen te doen voor experimenten met de Large Hadron Collider van CERN in Genève en andere deeltjesversnellers. Het is vanaf 1984 ontwikkeld bij Nikhef door dr. Jos Vermaseren als een verbetering op het programma Schoonschip van Nobelprijswinnaar prof. Martinus Veltman. FORM is voor het eerst uitgegeven in 1989. Sindsdien heeft FORM zich ontwikkeld tot een erg krachtig computerprogramma dat vele malen beter presteert dan andere meer populaire computeralgebraprogramma's, zowel wat betreft snelheid als wat betreft grootte van de expressies. Daarnaast zijn er nu versies beschikbaar die kunnen draaien op meerdere processors tegelijk.
Prof. Nigel Glover, directeur van het Institute for Particle Physics Phenomenology, Durham University, Verenigd Koninkrijk, schreef:
“FORM kan in een oogwenk berekeningen uitvoeren waarvan alleen het uitschrijven daarvan op een stukje papier al vele jaren zou kosten. FORM is het voorkeursinstrument geworden voor de hele gemeenschap die voorop loopt bij toepassingen van kwantumveldtheorie voor de fenomelogie van elementaire deeltjes.Zonder enige twijfel kan gesteld worden dat FORM veel van de meest complexe en veeleisende berekeningen in de deeltjestheorie mogelijk heeft gemaakt (..). Men kan veilig stellen dat zonder de grootschalige algebraïsche manipulatiecapaciteiten van FORM het vakgebied minstens een stap minder ver zou zijn in de perturbatietheorie.”
Over Jos Vermaseren, de schepper van FORM
Jos Vermaseren is sinds 1981 een staflid in de Nikhef theoriegroep. In 2007, ontving hij de prestigieuze Duitse Humboldt Onderzoeksprijs voor zijn onderzoek en de ontwikkeling van FORM.
Nobelprijswinnaar prof. David Gross, directeur van het Kavli Institute for Theoretical Physics in Santa Barbara, California, schreef:
“Vermaseren is een buitengewone wetenschapper die het grootste gedeelte van zijn carrière gewerkt heeft aan de ontwikkeling van geweldige calculatie-instrumenten (in het bijzonder het computeralgebraprogramma FORM), die hij aan iedereen ter beschikking stelt. Hij heeft deze ook gebruikt voor zeer belangrijke calculaties. Ik vond zijn calculatie van de 4-loop QCD bèta-functie een knap staaltje werk.”
Meer informatie
Meer informatie over Jos Vermaseren en FORM kunt u vinden op http://www.nikhef.nl/~form
De broncode van FORM kan ook via deze FORM pagina’s gedownload worden en u vindt hier links naar het discussieforum. Beide zijn mogelijk gemaakt door het werk van dr. Jens Vollinga via een speciale Nikhef/FOM-aanstelling.
Contactpersoon: Vanessa Mexner, Wetenschapsvoorlichting Nikhef, (020) 5925075
Nikhef is een samenwerkingsverband tussen de stichting voor Fundamenteel Onderzoek der Materie (FOM) en vier universiteiten: de Radboud Universiteit Nijmegen, de Universiteit van Amsterdam, de Universiteit Utrecht en de Vrije Universiteit Amsterdam. Nikhef is gevestigd op Science Park Amsterdam.