Intervalli aritmeettinen Ada on matematiikan kirjasto, joka tarjoaa täytäntöönpano välein Ada. Se sisältää aritmeettinen ja ihmissuhteisiin toimintaa.Esimerkkejä:Tri-tilassa logiikkaPaketti intervallit toimii root paketti ja myös kolmitilaista logiikka...