
LorenzDatabase
 Referenced in 5 articles
[sw14477]
 guarantees their existence via computerassisted proofs methods. The orbits are computed using highprecision...

MahonianStat
 Referenced in 11 articles
[sw06180]
 proofs that the distribution is asymptotically normal. The first is computerassisted, based ... perform experiments and calculations. Our second proof uses characteristic functions. We then take...

Octave Interval
 Referenced in 1 article
[sw13236]
 Also it can be applied to computerassisted proofs, constraint programming, and verified computing...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 220 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

CGAL
 Referenced in 334 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 122 articles
[sw00182]
 A C++ class library for extended scientific computing...

GAP
 Referenced in 2702 articles
[sw00320]
 GAP is a system for computational discrete algebra...

intpakX
 Referenced in 11 articles
[sw00445]
 The Maple Power Tool intpakX defines Maple types...

Isabelle
 Referenced in 594 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 4896 articles
[sw00545]
 The result of over 30 years of cutting...

MATCONT
 Referenced in 322 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Mathematica
 Referenced in 5693 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11446 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MPFI
 Referenced in 38 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

nauty
 Referenced in 533 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

polymake
 Referenced in 280 articles
[sw00724]
 polymake is open source software for research in...

POMULT
 Referenced in 8 articles
[sw00725]
 POMULT: a program for computing periodic orbits in...