• Magma

  • Referenced in 2716 articles [sw00540]
  • computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous ... number of databases designed to aid computational research in those areas of mathematics which...
  • CoSaMP

  • Referenced in 187 articles [sw08727]
  • approaches. Moreover, this algorithm offers rigorous bounds on computational cost and storage. It is likely...
  • ALGOL 68

  • Referenced in 282 articles [sw01226]
  • ALGOrithmic Language 1968) is an imperative computer programming language that was conceived as a successor ... rigorously defined syntax and semantics. The contributions of ALGOL 68 to the field of computer...
  • SDPB

  • Referenced in 80 articles [sw23927]
  • example application, we compute a new rigorous high-precision bound on operator dimensions...
  • RODES

  • Referenced in 99 articles [sw30194]
  • problem: 5. The RODES Program: The RODES (Rigorous ODE Solver) program is a highly adaptive ... multiprocessorprogram. As we pointed out earlier, the computations are performed in intervalarithmetic with directed rounding...
  • INTLAB

  • Referenced in 406 articles [sw04004]
  • very fast) automatic differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems of nonlinear ... univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very accurate...
  • VNODE

  • Referenced in 19 articles [sw11946]
  • package for computing rigorous bounds on the solution of an initial value problem...
  • VSDP

  • Referenced in 12 articles [sw04003]
  • nonnegative orthant. It provides functions for computing rigorous error bounds of the true optimal value...
  • na10

  • Referenced in 45 articles [sw11511]
  • annulusA i, fori=1,...,q. The computation of Newton’s correction is performed in such ... based on a rigorous backward rounding error analysis, guarantees that the computed approximations...
  • Vlfeat

  • Referenced in 38 articles [sw13478]
  • reproducible research for computer vision scientists and students. It includes rigorous implementations of common building ... directly with MATLAB, a popular language for computer vision research...
  • endomorphisms

  • Referenced in 6 articles [sw30130]
  • Rigorous computation of the endomorphism ring of a Jacobian. We describe several improvements and generalizations ... algorithms for the rigorous computation of the endomorphism ring of the Jacobian of a curve...
  • CoStLy

  • Referenced in 7 articles [sw00163]
  • class library CoStLy for the rigorous computation of complex function values or ranges is presented...
  • OCOTILLO

  • Referenced in 10 articles [sw09292]
  • This paper presents algorithms, software development and computational complexity analysis for problems arising ... combinatorial libraries. These are the first rigorous algorithmic results in the literature. We also present ... results are superior both in accuracy and computing time to the best software reports published ... literature. For 5-peptoid design, the computation is rigorously reduced to an exhaustive search...
  • galepu

  • Referenced in 10 articles [sw15103]
  • Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions. In this ... paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined...
  • CAPD

  • Referenced in 52 articles [sw07620]
  • flexible C++ modules designed for rigorous numerics in dynamical systems. The CAPD library ... modules which are mainly designed to computation of homology of sets and maps and nonrigorous...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • book as indicated by the term “rigorous” in the title. That means that for each ... algorithm applied to the John conditions and computationally executed proofs of the existence of feasible...
  • DODGSON

  • Referenced in 13 articles [sw12653]
  • were all conjectured, and then rigorously proved, by computer-assisted methods, that should be amenable...
  • Featherweight Java

  • Referenced in 86 articles [sw16204]
  • small calculus, Featherweight Java, for which rigorous proofs are not only possible but easy. Featherweight ... Haskell. It offers a similar computational ”feel,” providing classes, methods, fields, inheritance, and dynamic typecasts...
  • Arb

  • Referenced in 37 articles [sw07822]
  • Johansson (fredrik.johansson@gmail.com). It supports efficient high-precision computation with polynomials, power series, matrices and special ... real and complex numbers, with automatic, rigorous error control...
  • iTIS-PseTNC

  • Referenced in 15 articles [sw22449]
  • widely used in computational proteomics. It was observed by the rigorous cross-validation test...