• Magma

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

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

  • Referenced in 84 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 355 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 16 articles [sw11946]
  • package for computing rigorous bounds on the solution of an initial value problem...
  • VSDP

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

  • Referenced in 42 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 30 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...
  • 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...
  • endomorphisms

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

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

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

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

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

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

  • Referenced in 37 articles [sw01249]
  • based upon a new generation of computer languages, called Executable Architecture Definition Languages (EADLs ... EADLs in evolutionary development and rigorous analysis of large-scale systems. Rapide™ is designed...