
Regina
 Referenced in 46 articles
[sw04862]
 software package for studying 3manifold triangulations and normal surfaces. It includes a graphical user ... census enumeration, combinatorial recognition of triangulations, and highlevel functions such as 3sphere recognition ... decomposition. par This paper brings 3manifold topologists uptodate with Regina...

SnapPea
 Referenced in 163 articles
[sw06873]
 census is given for all hyperbolic 3manifolds which can be obtained by gluing ... such manifolds, 4815 of them are orientable. The 103 manifolds obained from four or fewer ... enumeration of knots and links, each manifold is given a name indicating the number ... terms of increasing volume. For each manifold the following data are listed: volume, ChernSimons...

BISTELLAR
 Referenced in 4 articles
[sw10655]
 combinatorial manifold; 2. obtain small or even minimal triangulations of simplicial manifolds by reducing ... number of vertices of a given triangulation; 3. determine the homeomorphism type of a simplicial...

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

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

CLIFFORD
 Referenced in 85 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

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

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

LANCELOT
 Referenced in 310 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

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

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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