Downloads

IntervalOp

Inserted byDoc. Ing. Tomáš Koutný, Ph.D.
Date last modified29.12.2013
Rok zařazení2011
Size634 kB
Number of downloads4
Abbreviationintervalop

Product description

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.


Download

The use of this product is governed by the following license:GNU-GPL

GNU General Public License v.3



Product files

#TitleDescriptionSize
1.IntevalOp.zip628 kB