• Homology

  • Referenced in 30 articles [sw04871]
  • Computing simplicial homology based on efficient Smith normal form algorithms Geometric properties of topological spaces ... computer calculation of the homology of finite simplicial complexes and its applications. The calculation ... homology with integer coefficients of a simplicial complex reduces to the calculation of the Smith ... alternative approaches to the calculation of simplicial homology. In the last section they present motivating...
  • Gudhi

  • Referenced in 31 articles [sw08777]
  • Gudhi Library: Simplicial Complexes and Persistent Homology. We present the main algorithmic and design choices ... manipulation of simplicial complexes and the computation of persistent homology in the Gudhi library ... homology of these complexes. The simplicial complex and persistent homology packages in Gudhi provide ... structure for representing general (filtered) simplicial complexes. The persistent homology of a filtered simplicial complex...
  • HAP

  • Referenced in 39 articles [sw04870]
  • some functions for computing homology of crossed modules and simplicial groups, and also some functions...
  • javaPlex

  • Referenced in 30 articles [sw08779]
  • relative persistence (co)homology, as well as hom-complexes of simplicial complexes, cellular and simplicial...
  • jPlex

  • Referenced in 10 articles [sw09851]
  • software package for computing persistent homology of finite simplicial complexes, often generated from point cloud...
  • SHGO

  • Referenced in 1 article [sw26954]
  • simplicial homology algorithm for Lipschitz optimisation. The simplicial homology global optimisation (SHGO) algorithm ... optimisation algorithm based on applications of simplicial integral homology and combinatorial topology. SHGO approximates...
  • ShortLoop

  • Referenced in 5 articles [sw28353]
  • complexes that represent a shortest homology basis. The simplicial complex need not be a surface ... loops will approximate a true shortest homology basis of the manifold. For precise definitions...
  • simpcomp

  • Referenced in 24 articles [sw06898]
  • allows the computation of many properties of simplicial complexes (such ... face lattice, the automorphism group, (co-)homology with explicit basis computation, intersection form...
  • alexander

  • Referenced in 1 article [sw09586]
  • homalg-Based Maple Package to Compute Simplicial Homology and Cohomology...
  • RedHom

  • Referenced in 12 articles [sw08776]
  • generators, persistence intervals and maps induced in homology. The library is based on C++ templates ... various complexes, in particular cubical complexes and simplicial complexes. The library is oriented on users ... well as programmers who need to use homology algorithms in their own programs. RedHom originated...
  • phom

  • Referenced in 1 article [sw34788]
  • This package computes persistent homology of filtered simplicial complexes, and provides facilities for constructing complexes...
  • Sparse-Dowker-Nerves

  • Referenced in 1 article [sw34683]
  • sparse versions of filtered simplicial complexes used to compute persistent homology of point clouds...
  • fundamental

  • Referenced in 1 article [sw20954]
  • first homology groups mod a prime, and covers of finite 2-dimensional simplicial complexes...
  • SimBa

  • Referenced in 10 articles [sw28063]
  • tool for approximating Rips-filtration persistence via Simplicial Batch collapse. In topological data analysis ... algorithm, called SimBa, for approximating the persistent homology of Rips filtrations with quality guarantees...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • cdd

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

  • Referenced in 372 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CoCoALib

  • Referenced in 58 articles [sw00144]
  • CoCoALib: A C++ library for computations in commutative...
  • Coq

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