IntervalOp

Popis produktu

IntervalOp je knihovna pro výpočty speciálních funkcí v intervalové aritmetice. Návrh, implementace a funkce této knihovny jsou dány výzkumem v oblasti teorie kvazilineárních obyčejných a parciálních diferenciálních rovnic. Knihovna má využití v počítačových důkazech v oblasti matematické analýzy. Je optimalizovaná pro procesory Intel(r) Pentium a kompatibilní. Je psána v GNU assembleru pro 32-bitové programy, které používají cdecl volací konvenci. Knihovna významně převyšuje obecné matematické softwarové balíky co se týče jak rychlosti, tak i přesnosti výpočtu.