• Book3264Examples

  • Referenced in 50 articles [sw27519]
  • using M2 and Schubert2 to do intersection theory. This package consists almost entirely of example ... book ’3264 & All That: Intersection Theory in Algebraic Geometry’ by Eisenbud and Harris. Most...
  • schubert

  • Referenced in 27 articles [sw09175]
  • Schubert: a maple package for intersection theory. This Maple package for computations with Chern classes...
  • Macnodal

  • Referenced in 10 articles [sw18714]
  • Macnodal package for intersection theory on Hilbert schemes of nodal curves. The program does ... paper: Tautological module and intersection theory on Hilbert schemes of nodal curves...
  • a-tint

  • Referenced in 9 articles [sw08418]
  • polymake extension for algorithmic tropical intersection theory. In this paper we study algorithmic aspects ... tropical intersection theory. We analyze how divisors and intersection products on tropical cycles can actually...
  • SEGRE

  • Referenced in 5 articles [sw07760]
  • convenient procedures for calculations in multiplicity theory, intersection theory, and singularity theory. Based...
  • Schubert2

  • Referenced in 3 articles [sw16709]
  • Schubert2 -- computation in intersection theory. This package supports computation in intersection theory on smooth projective ... equations. Instead, one gives its graded intersection ring of algebraic cycle classes modulo numerical equivalence...
  • Schubert3

  • Referenced in 1 article [sw27181]
  • Sage package for computations in intersection theory and enumerative geometry. The first package for computations ... intersection theory and enumerative geometry is Schubert in Maple which written by Sheldon Katz ... functionality necessary for computations in intersection theory and enumerative geometry. It deals with abstract varieties...
  • schubert.lib

  • Referenced in 1 article [sw27180]
  • Singular Library schubert.lib: Proceduces for Intersection Theory. We implement new classes (variety, sheaf, stack, graph ... tools for the computation in equivariant intersection theory. These tools are based on the localization ... numbers of rational curves on general complete intersection Calabi-Yau threefolds in projective spaces...
  • Finite Automata HF

  • Referenced in 5 articles [sw29250]
  • Finite Automata in Hereditarily Finite Set Theory. Finite Automata, both deterministic and non-deterministic ... languages. The Myhill-Nerode Theorem. Closure under intersection, concatenation, etc. Regular expressions define regular languages...
  • BoijSoederbergCICone.m2

  • Referenced in 2 articles [sw24208]
  • Rational combinations of Betti diagrams of complete intersections. We investigate decompositions of Betti diagrams over ... ring within the framework of Boij-Söderberg theory. That is, given a Betti diagram ... into the Betti diagrams of complete intersections. To do so, we determine the extremal rays...
  • lifting

  • Referenced in 3 articles [sw31749]
  • basic variables, compute an intersection cut, then strengthen the cut coefficients corresponding to integral ... procedure. Although of polynomial-time complexity in theory, this lifting procedure can be computationally costly...
  • olga.lib

  • Referenced in 3 articles [sw22197]
  • localizations have been widely used in theory and in applications. We investigate the arithmetics ... arithmetics is the computation of the intersection of a left ideal with a submonoid...
  • STRATIFY

  • Referenced in 1 article [sw18775]
  • with two problems, namely with computing the intersection of (some) graded structures of commutative algebra ... between these seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental invariants ... space. We provide algorithms for computing the intersection of finitely generated graded subalgebras, which...
  • BOXEL

  • Referenced in 1 article [sw03239]
  • urban environments. Boxels are axis-aligned non-intersecting boxes which can be used to directly ... twelfth annual ACM symposium on theory of computing, held at Los Angeles, California, April ... Special Interest Group on Automata and Computability Theory, with the Cooperation of the IEEE Computer ... buildings. For ray tracing, a ray intersects at most one boxel in an antichain...
  • SACS Toolkit

  • Referenced in 2 articles [sw03708]
  • comes with a theoretical framework (social complexity theory), procedural algorithm (assemblage) and recommended toolset ... science of complexity and its intersection with sociology; and for downloading the maps (in color...
  • TDAmapper

  • Referenced in 0 articles [sw15184]
  • Topological Data Analysis using Mapper (discrete Morse theory). Generate a 1-dimensional simplicial complex from ... adjacent level sets with a nonempty intersection, generate one edge between vertices. The function mapper1D...
  • AXIOM

  • Referenced in 169 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 305 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 335 articles [sw00118]
  • The goal of the CGAL Open Source Project...