
RODES
 Referenced in 114 articles
[sw30194]
 highly adaptive, multiprocessorprogram. As we pointed out earlier, the computations are performed in intervalarithmetic with ... floating pointnumbers were passed with 17 digits of precision, which converts exactly according ... Ultra 1. The totalcomputational time in this setting was about 100 hours. Other setups with...

ALLopt
 Referenced in 2 articles
[sw10243]
 receivers and the requirements of highprecision digital maps for modern railways, using the concept ... sets. The other two algorithms can work better for complex curves and large data sets ... work better for some curves with cross points. The three algorithms are also applied ... generating GPS digital maps for two railway GPS data sets measured in QinghaiTibet Railway...

DCopt
 Referenced in 2 articles
[sw10251]
 receivers and the requirements of highprecision digital maps for modern railways, using the concept ... sets. The other two algorithms can work better for complex curves and large data sets ... work better for some curves with cross points. The three algorithms are also applied ... generating GPS digital maps for two railway GPS data sets measured in QinghaiTibet Railway...

MPMopt
 Referenced in 2 articles
[sw10252]
 receivers and the requirements of highprecision digital maps for modern railways, using the concept ... sets. The other two algorithms can work better for complex curves and large data sets ... work better for some curves with cross points. The three algorithms are also applied ... generating GPS digital maps for two railway GPS data sets measured in QinghaiTibet Railway...

QSDPNAL
 Referenced in 26 articles
[sw18799]
 inequality constraints, a simple convex polyhedral set constraint, and a positive semidefinite cone constraint ... generate a reasonably good initial point for the second phase. In QSDPNALPhase ... this submission was given the DOI (Digital Object Identifier) doi:10.5281/zenodo.1206980...

DyC
 Referenced in 13 articles
[sw09692]
 analysis computes the set of runtime constants at each program point in the annotated ... controlflow graph; the analysis supports programpointspecific polyvariant division and specialization. The results ... cycles per instruction generated on a Digital Alpha 21164. The majority of DyC’s functionality ... been used to dynamically compile an instructionset simulator. Only three annotations were required...

LatNet Builder
 Referenced in 1 article
[sw32091]
 tool for constructing highlyuniform point sets for quasi MonteCarlo and randomized quasi Monte ... software can construct rank1 lattices and digital nets in base 2. This software...

cubic.lib
 Referenced in 1 article
[sw16959]
 measured result is compared with the intended digital model. Processes with the risk of deformation ... cubic surface is given as the zero set of a degree 3 polynomial ... algebra system Singular which, from 6 given points in the plane, constructs a cubic...

CGAL
 Referenced in 370 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 637 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1835 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 244 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

Gerris
 Referenced in 287 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 635 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

KNITRO
 Referenced in 182 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

Kronecker
 Referenced in 113 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1649 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...