
Magma
 Referenced in 3296 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 228 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 104 articles
[sw23927]
 example application, we compute a new rigorous highprecision bound on operator dimensions...

RODES
 Referenced in 124 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 464 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 22 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 50 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...

CAPD
 Referenced in 76 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 13 articles
[sw15103]
 Computation of smooth manifolds via rigorous multiparameter continuation in infinite dimensions. In this ... paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined...

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 5peptoid design, the computation is rigorously reduced to an exhaustive search...

Arb
 Referenced in 51 articles
[sw07822]
 Johansson (fredrik.johansson@gmail.com). It supports efficient highprecision 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 computerassisted 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 91 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...