
Kenzo
 Referenced in 64 articles
[sw04861]
 called the Fundamental Theorem of Algebraic Topology. The first version of the program, called...

FeynArts
 Referenced in 110 articles
[sw06474]
 platform for topology editing. Computer algebra system...

CHomP
 Referenced in 47 articles
[sw09358]
 that these techniques be computationally efficient. Algebraic Topology is the classical mathematical tool ... large datasets can be reduced to compact algebraic expressions that provide insight into underlying geometric ... develop and apply efficient and effective topologically based methods to the analysis of nonlinear systems...

EAT
 Referenced in 17 articles
[sw09167]
 effective homology computation. Kenzo: EAT (= Effective Algebraic Topology), the previous program. Before the Kenzo program...

insulate
 Referenced in 24 articles
[sw21729]
 exact computation of the topology of real algebraic curves. We consider the problem of computing ... those polynomials are algebraic numbers. Various algebraic approaches for this real root finding and counting ... case of computing the topology of a single real algebraic curve. Even this prototypical implementation...

Reduze
 Referenced in 75 articles
[sw10354]
 topologies and integrals. Reduze uses GiNaC or, optionally, Fermat to perform manipulations of algebraic expressions...

fKenzo
 Referenced in 6 articles
[sw01156]
 user interface for computations in algebraic topology. fKenzo is an integral assistant for research ... subset of) Algebraic Topology. The ”integral” adjective means that this assistant not only provides...

Homology
 Referenced in 30 articles
[sw04871]
 algorithms Geometric properties of topological spaces are conveniently expressed by algebraic invariants of the space...

Axel
 Referenced in 22 articles
[sw06457]
 curves, singularities of algebraic curves or surfaces, certified topology of curves and surfaces...

LearningAlgebraicVarieties
 Referenced in 9 articles
[sw26096]
 samples. We seek to determine a real algebraic variety from a fixed finite subset ... focus lies on aspects of topology and algebraic geometry, such as dimension and defining polynomials...

HAP
 Referenced in 39 articles
[sw04870]
 library for use with the GAP computer algebra system, and is still under development ... regular CWcomplexes in the context of topological data analysis...

UMAP
 Referenced in 5 articles
[sw34900]
 framework based in Riemannian geometry and algebraic topology. The result is a practical scalable algorithm...

PolyMesher
 Referenced in 121 articles
[sw13340]
 codes that use linear convex polygons. In topology optimization, polygonal discretizations have been shown ... construct a large class of domains via algebraic expressions. Examples are provided to illustrate...

Globular
 Referenced in 4 articles
[sw18031]
 formalization of proofs from logic, topology and algebra which are not formalizable by other methods...

GENOM3CK
 Referenced in 2 articles
[sw07655]
 computing the genus of a plane complex algebraic curve using knot theory. The library also ... singularities of the curve, the topological type (algebraic link) of each singularity, the Alexander polynomial...

knotkit
 Referenced in 7 articles
[sw31672]
 knot theory and computational algebra software. knotkit is a C++ software package written by Cotton ... manifold invariants appearing in lowdimensional topology...

Sheafhom 2.0
 Referenced in 1 article
[sw00854]
 applications. The package is motivated by algebraic topology, and provides partial support for items from...

SimplicialVIEW
 Referenced in 1 article
[sw21821]
 simplicial approximation theorem of algebraic topology to develop the theoretical foundation, and put it into...

Zeta
 Referenced in 9 articles
[sw13746]
 Zeta provides methods for computing topological zeta functions arising from the enumeration of subalgebras, ideals ... submodules, and representations of suitable algebraic structures. For theoretical background and descriptions of the methods...

VFC package
 Referenced in 16 articles
[sw16729]
 algebraic approach to virtual fundamental cycles on moduli spaces of pseudoholomorphic curves. We develop ... applications as foundations for invariants in symplectic topology arising from “counting” pseudoholomorphic curves ... prove appropriate gluing theorems. We require only topological gluing theorems, that is, smoothness ... approach to virtual fundamental cycles is algebraic rather than geometric (in particular...