
BiCG
 Referenced in 34 articles
[sw00076]
 BiCG: An effective solver for three fields...

CADNA
 Referenced in 44 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CoCoA
 Referenced in 634 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

Diffpack
 Referenced in 114 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

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

Gaalop
 Referenced in 27 articles
[sw00313]
 Gaalop – high performance parallel computing based on conformal...

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

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

GELDA
 Referenced in 33 articles
[sw00331]
 GELDA is a Fortran77 sofware package for the...

GeM
 Referenced in 93 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

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

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

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

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