• 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 vertex-decomposability are implemented, along...
  • SimplicialDecomposability

  • Referenced in 6 articles [sw12141]
  • exists, of a specified simplicial complex. Further, methods for determining vertex-decomposability 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 multi-parameter continuation method...
  • SimPers

  • Referenced in 2 articles [sw23290]
  • resulting simplicial complex L, the Simpers uses the annotation-based method developed in the paper...
  • CGALmesh

  • Referenced in 8 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 annotation-based method developed in the paper...
  • SimBa

  • Referenced in 3 articles [sw28063]
  • tool for approximating Rips-filtration 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, self-adaptive 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 254 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

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

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

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

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