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

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

CHomP
 Referenced in 24 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 17 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 4 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 198 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...

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...

DistMesh
 Referenced in 127 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...

INTOPT_90
 Referenced in 274 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 26 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 20 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...

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...

Reduze
 Referenced in 29 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...

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...

CSMA
 Referenced in 12 articles
[sw08455]
 characteristic classes of projective schemes. The code computes the pushforward to projective space ... ideal. Over C, This information includes the topological Euler characteristic of the support ... Also produced by the code are functions computing the Segre class of S in projective...