
FeynArts
 Referenced in 81 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 18 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 27 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 19 articles
[sw00375]
 application areas for GrAL include computational geometry and topology, geometric modeling, computer graphics, or geographic...

filib++
 Referenced in 34 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...

XFEM
 Referenced in 261 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...

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

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

Homology
 Referenced in 25 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...

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

INTOPT_90
 Referenced in 281 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 28 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...

TopDeg
 Referenced in 2 articles
[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...

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

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

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

CSMA
 Referenced in 16 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...