• Magma

  • Referenced in 3363 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 231 articles [sw08727]
  • approaches. Moreover, this algorithm offers rigorous bounds on computational cost and storage. It is likely...
  • ALGOL 68

  • Referenced in 291 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 105 articles [sw23927]
  • example application, we compute a new rigorous high-precision bound on operator dimensions...
  • RODES

  • Referenced in 127 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 472 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 24 articles [sw11946]
  • package for computing rigorous bounds on the solution of an initial value problem...
  • endomorphisms

  • Referenced in 11 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...
  • Wirtinger Flow

  • Referenced in 110 articles [sw34175]
  • applying novel update rules, which have low computational complexity, much like in a gradient descent ... that this algorithm is shown to rigorously allow the exact retrieval of phase information from ... scheme is efficient both in terms of computational and data resources. In theory, a variation...
  • na10

  • Referenced in 51 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...
  • VSDP

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

  • Referenced in 46 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...
  • galepu

  • Referenced in 14 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 77 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...
  • 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...
  • Arb

  • Referenced in 53 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...
  • DODGSON

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

  • Referenced in 306 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...
  • Featherweight Java

  • Referenced in 93 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...