Interval arithmetic for Ada 1.10

Pagitan palatuusan para sa Ada ay isang matematika library na nagbibigay ng isang pagpapatupad ng mga agwat para sa Ada. May kasama palatuusan at pagpapatakbo relational.Mga halimbawa:Tri-estado logicAng pakete na agwat nagsisilbing isang root pakete at...