< Terug naar vorige pagina
Project
Betrouwbare gevalideerde computer aritmetiek voor de evaluatie van speciale wiskundige functies (evaluatie van speciale functies)
We zullen, in de vorm van een "computational engine", betrouwbare gevalideerde computeraritmetiek ontwiikkelen om een grote familie van speciale functies zoals beschikbaar op de NIST DLMF website op een betrouwbare en gevalideerde manier te evalueren. Het resultaat moet niet alleen bruikbaar zijn, maar ook een 100% wiskundig correct resultaat geven.
Datum:1 okt 2016 → 30 sep 2017
Trefwoorden:COMPUTATIONELE ARITMETICA
Disciplines:Toegepaste wiskunde, Computerarchitectuur en -netwerken, Distributed computing, Informatiewetenschappen, Informatiesystemen, Programmeertalen, Scientific computing, Theoretische informatica, Visual computing, Andere informatie- en computerwetenschappen