
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 floatingpoint, 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 AntoulasAnderson ... fitting, RKFIT, and other existing methods for rational approximation...

QCI
 Referenced in 6 articles
[sw26065]
 Quadratic Chabauty and rational points. I: padic 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 floatingpoint 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 pointcloud data. The library defines ... current version) supports both rational (ie floating point) and mod 2 calculations...

QSoptExact
 Referenced in 17 articles
[sw05101]
 QSopt_ex Rational LP Solver: The QSopt code is based on floatingpoint 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.unisb.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 npoint 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 floatingpoint filter techniques and a lazy evaluation scheme ... rational and algebraic geometric objects. It is the first kernel design which uses floatingpoint...