• Normaliz

  • Referenced in 159 articles [sw00630]
  • Normaliz computes the dual cone of a rational cone (in other words, given generators, Normaliz ... Hilbert basis of a (not necessarily pointed) rational cone, the lattice points of a rational...
  • gmp

  • Referenced in 275 articles [sw00363]
  • arithmetic, operating on signed integers, rational numbers, and floating point numbers. There is no practical...
  • na20

  • Referenced in 76 articles [sw11505]
  • coefficients may be integer, rational, or floating point numbers represented with an arbitrary number...
  • LiDIA

  • Referenced in 52 articles [sw00518]
  • only contains tools for rational integers and some floating point arithmetic, however. Emphasis...
  • QSopt_ex

  • Referenced in 27 articles [sw04722]
  • lesser degree) that returns true (rational) optimal solutions. It relies heavilly on the GNUMP library ... multiprecision library for both floating point and also rational arithmetic. Note that ... solver based on floating point arithmetic and available for free for research purposes. A brief...
  • MAPC

  • Referenced in 23 articles [sw04990]
  • Multivariate polynomials with floating-point, multiprecision integer, or multiprecision rational coefficients. Algebraic numbers represented ... dimensional points whose coordinates are defined as either algebraic numbers or as rational numbers. Sections ... LiDIA library, which provides exact rational number support, and makes use of the LAPACK library ... which implements various numerical algorithms in floating point...
  • alphaCertified

  • Referenced in 47 articles [sw07351]
  • systems using both exact rational arithmetic and arbitrary precision floating point arithmetic. It also implements...
  • AAA

  • Referenced in 32 articles [sw36858]
  • approximation by rational functions on a real or complex set of points, implementable ... rational approximant in barycentric form with interpolation at certain support points and (2) greedy selection ... support points to avoid exponential instabilities. The name AAA stands for ”adaptive Antoulas--Anderson ... fitting, RKFIT, and other existing methods for rational approximation...
  • QCI

  • Referenced in 6 articles [sw26065]
  • Quadratic Chabauty and rational points. I: p-adic heights. We give the first explicit examples ... Chabauty program determines the set of rational points of a curve defined over...
  • ffmodstd

  • Referenced in 5 articles [sw27228]
  • using modular methods and sparse multivariate rational interpolation, where the t_i are transcendental over ... such a rational point b, we compute a Groebner basis G_b of K using ... procedure is repeated for many rational points b until their number is sufficiently large ... points, we obtain a set of polynomials G by applying the sparse multivariate rational interpolation...
  • Miniball

  • Referenced in 43 articles [sw05179]
  • with rational arithmetic. An implementation (along with a fast and robust floating-point version...
  • Algorithm 882

  • Referenced in 10 articles [sw10147]
  • rational interpolation with prescribed poles (in the same sense that Chebyshev points are near best ... using a rational spectral method. The algorithm to compute the interpolation points (and, if required...
  • cddplus

  • Referenced in 12 articles [sw04443]
  • generating all vertices (i.e. extreme points) and extreme rays of a general convex polyhedron ... compiled for both rational (exact) arithmetic and floating point arithmetic. (Note that cdd runs...
  • WIN4

  • Referenced in 3 articles [sw34888]
  • Etropolski). We describe a computation of rational points on genus 3 hyperelliptic curves C defined...
  • PLEX

  • Referenced in 7 articles [sw06483]
  • simplical complexes, generated from real or synthetic point-cloud data. The library defines ... current version) supports both rational (ie floating point) and mod 2 calculations...
  • QSopt-Exact

  • Referenced in 17 articles [sw05101]
  • QSopt_ex Rational LP Solver: The QSopt code is based on floating-point arithmetic ... problems, we have created the QSopt_ex rational solver and callable library. This package makes...
  • libratss

  • Referenced in 1 article [sw35026]
  • close to the sphere to rational points that are no more than 2ε away from ... based on the paper Rational Points on the Unit Sphere: Approximation Complexity and Practical Constructions...
  • Parametrization

  • Referenced in 1 article [sw30566]
  • test for the existence of a rational point on the conic and if so give ... rational point C is parametrized by ℙ1 otherwise by C2. The main focus ... more theoretical details see J. Boehm: Rational parametrization of rational curves, http://www.math.uni-sb.de/ag/schreyer/jb/diplom%20janko%20boehm.pdf....
  • Algorithm 973

  • Referenced in 1 article [sw23684]
  • algorithm is based on rational interpolatory Fejér quadrature rules, together with a sequence of real ... nodes and weights in the n-point rational quadrature formula strongly depends on the given ... iterations over the number of points in the rational quadrature rule, limited by the value...
  • LOOK

  • Referenced in 12 articles [sw02276]
  • plane. It combines different kinds of floating-point filter techniques and a lazy evaluation scheme ... rational and algebraic geometric objects. It is the first kernel design which uses floating-point...