
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 homcomplexes 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]
 homalgBased 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...

SparseDowkerNerves
 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 2dimensional simplicial complexes...

SimBa
 Referenced in 10 articles
[sw28063]
 tool for approximating Ripsfiltration 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...