
FeynArts
 Referenced in 79 articles
[sw06474]
 dependent on the X platform for topology editing. Computer algebra system...

Regina
 Referenced in 25 articles
[sw04862]
 Computational topology with Regina: algorithms, heuristics and implementations. Regina is a software package for studying...

insulate
 Referenced in 17 articles
[sw21729]
 exact computation of the topology of real algebraic curves. We consider the problem of computing ... approach for the case of computing the topology of a single real algebraic curve. Even...

CHomP
 Referenced in 25 articles
[sw09358]
 important that these techniques be computationally efficient. Algebraic Topology is the classical mathematical tool ... within which homology is perhaps the most computable subset. In particular, it provides a well ... develop and apply efficient and effective topologically based methods to the analysis of nonlinear systems...

GrAL
 Referenced in 18 articles
[sw00375]
 application areas for GrAL include computational geometry and topology, geometric modeling, computer graphics, or geographic...

filib++
 Referenced in 33 articles
[sw06459]
 called containment sets are computed to enclose the topological closure of a range...

Gudhi
 Referenced in 7 articles
[sw08777]
 generic C++ library for computational topology. Its goal is to provide robust, efficient, flexible ... algorithms and data structures for computational topology. An application of interest for computational topology ... analysis, where one is interested in learning topological invariants of a shape, sampled ... points, and then compute the persistent homology of these complexes. The simplicial complex and persistent...

PyDEC
 Referenced in 5 articles
[sw06967]
 manifolds. PyDEC is a Python library for computations related to the discretization of exterior calculus ... also useful for purely topological computations. Thus PyDEC facilitates inquiry into both physical problems ... manifolds as well as purely topological problems on abstract complexes. It uses efficient algorithms...

XFEM
 Referenced in 236 articles
[sw01026]
 robust tool for extended finite element (XFEM) computations and a modular and extensible system ... enriched approximations are independent; enrichment detection schemes: topological, geometrical, narrowband, etc.; multimaterial problem...

DistMesh
 Referenced in 144 articles
[sw12766]
 range of applications, including scientific computing and computer graphics. An unstructured simplex mesh requires ... linear forcedisplacement relations) and reset the topology by the Delaunay algorithm. The geometry...

Zeta
 Referenced in 4 articles
[sw13746]
 Zeta provides methods for computing topological zeta functions arising from the enumeration of subalgebras, ideals ... distributed as a Pythonpackage for the computer algebra system Sage. This work is supported...

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

INTOPT_90
 Referenced in 279 articles
[sw04705]
 method, and a short glance at the topological degree idea, which seems a bit outside ... algorithm applied to the John conditions and computationally executed proofs of the existence of feasible...

HAP
 Referenced in 27 articles
[sw04870]
 coefficients. Recent additions include some functions for computing homology of crossed modules and simplicial groups ... regular CWcomplexes in the context of topological data analysis...

Axel
 Referenced in 21 articles
[sw06457]
 compute intersection points or curves, singularities of algebraic curves or surfaces, certified topology of curves...

fKenzo
 Referenced in 5 articles
[sw01156]
 fKenzo: a user interface for computations in algebraic topology. fKenzo is an integral assistant ... research in (a subset of) Algebraic Topology. The ”integral” adjective means that this assistant ... provides a graphical interface for using a computational kernel (Kenzo), but also guides the user...

Reduze
 Referenced in 30 articles
[sw10354]
 integral reduction in C++. Reduze is a computer program for reducing Feynman integrals to master ... features include the distributed reduction of single topologies on multiple processor cores. The parallel reduction...

TADD
 Referenced in 6 articles
[sw02821]
 discrete Morse theory. This paper presents a computational framework that allows for a robust extraction ... Morse theory, which guarantees the topological consistency of the computed extremal structure. Using a graph...

hwloc
 Referenced in 6 articles
[sw12733]
 machines introduces a complex hardware topology. Highperformance computing applications now have to carefully adapt...

TopDeg
 Referenced in 1 article
[sw12573]
 TopDeg  a software for computing the topological degree Deg(f,B,0) for a continuous ... implementation of an effective algorithm for topological degree computation described in details in this paper ... Effective Topological Degree Computation Based on Interval Arithmetic...