
UnstableManifoldCompactMap
 Referenced in 1 article
[sw22780]
 Maps: Numerical Implementation and Computer Assisted Error Bounds. We develop and implement a seminumerical ... computations we develop aposteriori error bounds for the approximations. Numerical implementation ... control of float ing point roundoff errors (or interval arithmetic), leads to mathematically rigorous...

CkAnalytic
 Referenced in 6 articles
[sw19313]
 error bounds on numerical approximations of solutions of differential equations. An abstract a posteriori theorem...

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...

ALBERT
 Referenced in 81 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

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

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...

Expokit
 Referenced in 170 articles
[sw00258]
 Expokit provides a set of routines aimed at...

gmp
 Referenced in 255 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 528 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HSL
 Referenced in 260 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

hypre
 Referenced in 247 articles
[sw00426]
 hypre is a software library for the solution...

ISOGAT
 Referenced in 268 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1582 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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...

MooNMD
 Referenced in 70 articles
[sw00592]
 The basis of mapped finite element methods are...

NAG
 Referenced in 373 articles
[sw00610]
 Produced by experts for use in a variety...