IntervalOp

Inserted by:Doc. Ing. Tomáš Koutný, Ph.D.
Date last modified:29.12.2013
Year of insertion2011
Size:634 kB
Number of downloads:5
Abbreviation:intervalop

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
 

Aktualizováno 0