
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 highprecision 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 5peptoid 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 computerassisted 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 multiparameter continuation in infinite dimensions. In this ... paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined...

iTISPseTNC
 Referenced in 14 articles
[sw22449]
 widely used in computational proteomics. It was observed by the rigorous crossvalidation 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 largescale systems. Rapide™ is designed...