• Regina

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

  • Referenced in 163 articles [sw06873]
  • census is given for all hyperbolic 3-manifolds 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, Chern-Simons...
  • 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...
  • ADOL-C

  • Referenced in 257 articles [sw00019]
  • ADOL-C: 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...
  • C-XSC 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 large-scale 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 high-level language and interactive...
  • nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...