• MPFR

  • Referenced in 195 articles [sw03312]
  • library for multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported ... provide a library for multiple-precision floating-point computation which is both efficient ... ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit 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 floating-point 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 floating-point computations. This includes implementations of the floating...
  • Eigensolve

  • Referenced in 25 articles [sw11986]
  • polynomial. The iteration is based on floating-point computation of the eigenvalues of a generalized...
  • filib++

  • Referenced in 41 articles [sw06459]
  • floating-point standard 754 to intervals. In this mode so-called containment sets are computed...
  • advanpix

  • Referenced in 32 articles [sw07221]
  • computing with arbitrary precision. The toolbox equips MATLAB with a new multiple precision floating-point...
  • 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 floating-point computation and enclosed into the result...
  • Arb

  • Referenced in 37 articles [sw07822]
  • floating-point ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). It supports efficient high-precision 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 floating-point 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 floating-point filter techniques ... LEDA allowing for efficient and exact computation with rational and algebraic geometric objects ... first kernel design which uses floating-point 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 floating-point based modeler. We describe the system architecture ... floating-point filters, arbitrary floating-point arithmetic with error bounds, and lower-dimensional formulation ... very hard to compute using a fixed-precision floating-point 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 floating-point 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 floating-point 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 floating-point version) is available as part ... Welzl’s randomized linear-time algorithm for computing the ball spanned...
  • NetCDF

  • Referenced in 22 articles [sw04611]
  • accessed by computers with different ways of storing integers, characters, and floating-point numbers. Scalable...
  • Flocq

  • Referenced in 18 articles [sw06800]
  • Flocq (Floats for Coq) is a floating-point 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 floating-point...
  • ACRITH-XSC

  • 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 floating-point 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 floating-point numbers and the second one, the IntervalArithmetic library ... values as well as supports computations in the floating-point interval arithmetic with a suitable...
  • IEEE_Floating_Point

  • Referenced in 1 article [sw32221]
  • foundation for verifying programs with floating-point computation. There is also a code generation setup...