intervalaritmetik
Intervalaritmetik er en gren af matematikken inden for numerisk analyse. Den blev udviklet i 1960'erne til at kunne håndtere afrundingsfejl ved computerberegninger. Intervalaritmetik er fra 1990'erne også blevet benyttet i computer-assisterede matematiske beviser, se dynamiske systemer, og