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

  • Referenced in 127 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...
  • 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 CW-complexes 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. 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...
  • CSM-A

  • Referenced in 12 articles [sw08455]
  • characteristic classes of projective schemes. The code computes the push-forward 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...