
Qhull
 Referenced in 200 articles
[sw04419]
 element of b).Qhull accounts for roundoff error. It returns ”thick” facets defined...

FEASPUMP
 Referenced in 78 articles
[sw04802]
 viewed as a clever way to round a sequence of fractional solutions ... study the effect of replacing the original rounding function (which is fast and simple ... somehow blind) with more clever rounding heuristics. In particular, we investigate ... divinglike procedure based on rounding and constraint propagationa basic tool in Constraint Programming...

MPFR
 Referenced in 112 articles
[sw03312]
 multipleprecision floatingpoint computations with correct rounding. MPFR has continuously been supported...

DEVEX
 Referenced in 94 articles
[sw08378]
 consequent effect of this column selection on rounding error is observed. By allowing that...

CVRPSP
 Referenced in 80 articles
[sw13447]
 Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...

CADNA
 Referenced in 30 articles
[sw00098]
 CADNA: a library for estimating roundoff error propagation. The CADNA library enables ... estimate roundoff error propagation using a probabilistic approach. With CADNA the numerical quality ... CADNA provides new numerical types on which roundoff errors can be estimated. Slight modifications ... interpret the information it provides concerning roundoff error propagation in a code...

RealPaver
 Referenced in 44 articles
[sw04401]
 with certainty. Solving methods: Realpaver implements correctly rounded intervalbased computations in a branch...

ACRITHXSC
 Referenced in 42 articles
[sw00015]
 data conversion and arithmetic operators with rounding control, interval and complex interval arithmetic, accurate vector/matrix...

PRINCE
 Referenced in 26 articles
[sw13240]
 innovative design choices. The number of rounds must be moderate and rounds must have short ... iterative with very similar round functions disappears, an observation that increases the design space...

HAVAL
 Referenced in 41 articles
[sw02156]
 allows users to specify the number of rounds (3, 4, or 5) to be used...

na10
 Referenced in 38 articles
[sw11511]
 stop condition, based on a rigorous backward rounding error analysis, guarantees that the computed approximations...

Outward rotations
 Referenced in 35 articles
[sw08660]
 Outward rotations: a tool for rounding solutions of semidefinite programming relaxations, with applications...

ChaCha
 Referenced in 14 articles
[sw07098]
 stream cipher based on the 8round cipher Salsa20/8. The changes from Salsa20/8 to ChaCha8 ... designed to improve diffusion per round, conjecturally increasing resistance to cryptanalysis, while preserving—and often ... improving—time per round. ChaCha12 and ChaCha20 are analogous modifications of the 12round ... round ciphers Salsa20/12 and Salsa20/20. This paper presents the ChaCha family and explains the differences...

HSolver
 Referenced in 26 articles
[sw07419]
 correctness does not depend on floating point rounding errors. It can handle nonlinear ordinary...

Keccak
 Referenced in 26 articles
[sw09834]
 consists of the iteration of a simple round function, similar to a block cipher without...

SMOTEBoost
 Referenced in 18 articles
[sw12571]
 minority class, SMOTE is introduced at each round of boosting. Introduction of SMOTE increases ... cases in the distribution at each boosting round. In addition to maximizing the margin...

LED
 Referenced in 25 articles
[sw18983]
 first architecture, we propose a roundbased implementation while the second is a fully serialized...

na5
 Referenced in 24 articles
[sw11489]
 scalar product is close to zero, then rounding errors can seriously affect the algorithm...

CVRPSEP
 Referenced in 24 articles
[sw11809]
 Publications). The package contains separation routines for rounded capacity inequalities, homogeneous multistar inequalities, generalized multistar...

Algorithm 693
 Referenced in 22 articles
[sw08017]
 elementary functions. Results are almost always correctly rounded, and due to improved algorithms used...