
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 5 articles
[sw19313]
 error bounds on numerical approximations of solutions of differential equations. An abstract a posteriori theorem...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

PARDISO
 Referenced in 227 articles
[sw00679]
 The package PARDISO is a threadsafe, high...