• 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, narrow-band, etc.; multi-material problem...
  • DistMesh

  • Referenced in 144 articles [sw12766]
  • range of applications, including scientific computing and computer graphics. An unstructured simplex mesh requires ... linear force-displacement 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 Python-package 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 CW-complexes 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. High-performance 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...