
MPFR
 Referenced in 195 articles
[sw03312]
 library for multipleprecision floatingpoint computations with correct rounding. MPFR has continuously been supported ... provide a library for multipleprecision floatingpoint computation which is both efficient ... ANSI/IEEE754 standard for doubleprecision floatingpoint arithmetic (53bit significand). MPFR is free...

LAPACK
 Referenced in 1599 articles
[sw00503]
 Schur) are also provided, as are related computations such as reordering of the Schur factorizations ... moving data instead of doing useful floatingpoint operations. LAPACK addresses this problem by reorganizing ... that as much as possible of the computation is performed by calls to the Basic...

fpLLL
 Referenced in 22 articles
[sw13489]
 algorithms on lattices that rely on floatingpoint computations. This includes implementations of the floating...

Eigensolve
 Referenced in 25 articles
[sw11986]
 polynomial. The iteration is based on floatingpoint computation of the eigenvalues of a generalized...

filib++
 Referenced in 41 articles
[sw06459]
 floatingpoint standard 754 to intervals. In this mode socalled containment sets are computed...

advanpix
 Referenced in 32 articles
[sw07221]
 computing with arbitrary precision. The toolbox equips MATLAB with a new multiple precision floatingpoint...

CoStLy
 Referenced in 7 articles
[sw00163]
 complex interval arithmetic is used for the computations. In the CoStLy procedures, all truncation ... calculated during the course of the floatingpoint computation and enclosed into the result...

Arb
 Referenced in 37 articles
[sw07822]
 floatingpoint ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). It supports efficient highprecision computation...

BRIEF
 Referenced in 6 articles
[sw29763]
 popular as a means to compare feature points very fast while requiring comparatively small amounts ... creating them is to first compute floatingpoint ones, using an algorithm such as SIFT ... paper, we show that we can directly compute a binary descriptor, which we call BRIEF...

LOOK
 Referenced in 12 articles
[sw02276]
 geometric computation in the plane. It combines different kinds of floatingpoint filter techniques ... LEDA allowing for efficient and exact computation with rational and algebraic geometric objects ... first kernel design which uses floatingpoint filter techniques on the level of geometric constructions ... consumption when dealing with more complex geometric computations...

ESOLID
 Referenced in 11 articles
[sw15824]
 exact computations throughout. The demands of exact computation require a different set of algorithms ... those found in a traditional inexact floatingpoint based modeler. We describe the system architecture ... floatingpoint filters, arbitrary floatingpoint arithmetic with error bounds, and lowerdimensional formulation ... very hard to compute using a fixedprecision floatingpoint modeler. In terms of performance...

BEAGLE
 Referenced in 4 articles
[sw12586]
 scaling to such problems using serial computing often necessitates the use of nonstatistical or approximate ... opportunity to leverage their excellent floatingpoint computational performance to accelerate statistical phylogenetic inference...

ARPREC
 Referenced in 56 articles
[sw07222]
 ARPREC: An arbitrary precision computation package. This paper describes a new software package for performing ... cite mpf90, enhanced with special IEEE floatingpoint numerical techniques and several new functions. This...

Miniball
 Referenced in 37 articles
[sw05179]
 structure and algorithms We develop algorithms for computing the exact smallest enclosing ball ... along with a fast and robust floatingpoint version) is available as part ... Welzl’s randomized lineartime algorithm for computing the ball spanned...

NetCDF
 Referenced in 22 articles
[sw04611]
 accessed by computers with different ways of storing integers, characters, and floatingpoint numbers. Scalable...

Flocq
 Referenced in 18 articles
[sw06800]
 Flocq (Floats for Coq) is a floatingpoint formalization for the Coq system. It provides ... precision arithmetic. It also supports efficient numerical computations inside...

cuFFT
 Referenced in 22 articles
[sw11258]
 computing FFTs on an NVIDIA GPU, which allows users to quickly leverage the floatingpoint...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 verified to be correct by the computer. Thus there is no need to perform ... modelling and vibrational mechanics where conventional floatingpoint methods have failed.\parWith few exceptions, ACRITH ... enlarged set of mathematical standard functions for point and interval arguments, and more ... there is no machine number between the computed result and the exact solution. The exact...

FloatingPointConversion
 Referenced in 3 articles
[sw33340]
 conversions in the area of floatingpoint numbers and the second one, the IntervalArithmetic library ... values as well as supports computations in the floatingpoint interval arithmetic with a suitable...

IEEE_Floating_Point
 Referenced in 1 article
[sw32221]
 foundation for verifying programs with floatingpoint computation. There is also a code generation setup...