• 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 high-precision 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 Qinghai-Tibet Railway...
  • DCopt

  • Referenced in 2 articles [sw10251]
  • receivers and the requirements of high-precision 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 Qinghai-Tibet Railway...
  • MPMopt

  • Referenced in 2 articles [sw10252]
  • receivers and the requirements of high-precision 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 Qinghai-Tibet 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 QSDPNAL-Phase ... 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 run-time constants at each program point in the annotated ... control-flow graph; the analysis supports program-point-specific 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 instruction-set simulator. Only three annotations were required...
  • LatNet Builder

  • Referenced in 1 article [sw32091]
  • tool for constructing highly-uniform point sets for quasi Monte-Carlo and randomized quasi Monte ... software can construct rank-1 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...