
PITCON
 Referenced in 253 articles
[sw04244]
 Continuation methods, in particular an ordinary differential equations approach, the code PITCON and simplicial approximation...

Homology
 Referenced in 27 articles
[sw04871]
 Computing simplicial homology based on efficient Smith normal form algorithms Geometric properties of topological spaces ... focuses on methods for the computer calculation of the homology of finite simplicial complexes...

SimplicialComplexes
 Referenced in 6 articles
[sw12140]
 exists, of a specified simplicial complex. Further, methods for determining vertexdecomposability are implemented, along...

SimplicialDecomposability
 Referenced in 6 articles
[sw12141]
 exists, of a specified simplicial complex. Further, methods for determining vertexdecomposability are implemented, along...

RedHom
 Referenced in 12 articles
[sw08776]
 reduction methods and use it for various complexes, in particular cubical complexes and simplicial complexes ... numerics of dynamical systems based on topological methods. In particular, RedHom constitutes a part...

SCO
 Referenced in 1 article
[sw09848]
 short research announcement briefly describes the simplicial method underlying the GAP package SCO for computing...

galepu
 Referenced in 7 articles
[sw15103]
 paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined ... compute a simplicial triangulation of the manifold using a multiparameter continuation method...

SimPers
 Referenced in 2 articles
[sw23290]
 resulting simplicial complex L, the Simpers uses the annotationbased method developed in the paper...

CGALmesh
 Referenced in 7 articles
[sw12915]
 CGALmesh is a 3D simplicial mesh generator. It provides isotropic tetrahedron meshes for domains ... phase. Sharp creases are handled via the method of protecting balls. CGALmesh is open source...

SimpPers
 Referenced in 1 article
[sw28221]
 resulting simplicial complex L, the Simpers uses the annotationbased method developed in the paper...

SimBa
 Referenced in 3 articles
[sw28063]
 tool for approximating Ripsfiltration persistence via Simplicial Batch collapse. In topological data analysis ... Rips filtration introduced by Sheehy, some existing methods aim to reduce the size...

PSurface
 Referenced in 2 articles
[sw19556]
 store and access piecewise linear mappings between simplicial surfaces ... grids, and grid intersections for domain decomposition methods. In computer graphics the mappings allow...

ColDICE
 Referenced in 1 article
[sw18060]
 space sheet with a conforming, selfadaptive simplicial tessellation of which the vertices follow ... tessellation mesh is performed using the bisection method and a local representation of the phase...

HexaChord
 Referenced in 1 article
[sw22120]
 complex. A chord complex is a labelled simplicial complex which represents a set of chords ... given chord complex. We propose a method to compute the compactness of a trajectory...

SHGO
 Referenced in 1 article
[sw26954]
 global optimisation algorithm based on applications of simplicial integral homology and combinatorial topology. SHGO approximates ... improvement on the topographical global optimisation (TGO) method. It is proven that the SHGO algorithm...

ACL2
 Referenced in 252 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 162 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

CHABIS
 Referenced in 17 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for...