|Inserted by||Doc. Ing. Tomáš Koutný, Ph.D.|
|Date last modified||29.12.2013|
|Number of downloads||4|
IntervalOp is a library for interval computations of some special functions. Design, implementation and functions provided by this interval library were driven by the research in the area of the theory of quasilinear ordinary and/or partial differential equations. This library is suitable for performing computer assisted proofs in these areas of mathematics. It is highly optimized for Intel(r) Pentium and compatible processors. For this reason, it was written in GNU assembler for these processors (32-bit version is available only). It can be called from C programs (or any programs using C-parameter-passing convention). The library significantly outperforms general-purpose commercial products in the terms of speed and precision.