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

FEASPUMP
 Referenced in 86 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 136 articles
[sw03312]
 multipleprecision floatingpoint computations with correct rounding. MPFR has continuously been supported...

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

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

PRINCE
 Referenced in 39 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...

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...

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

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

Serpent
 Referenced in 33 articles
[sw21989]
 that Rijndael is faster (having fewer rounds) but Serpent is more secure. We designed Serpent ... cryptanalysis. We also used twice as many rounds as are sufficient to block all currently...

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

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

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

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

ChaCha
 Referenced in 19 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 35 articles
[sw07419]
 correctness does not depend on floating point rounding errors. It can handle nonlinear ordinary...

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

SMOTEBoost
 Referenced in 20 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...

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

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