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

atint
 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 CalabiYau threefolds in projective spaces...

Finite Automata HF
 Referenced in 5 articles
[sw29250]
 Finite Automata in Hereditarily Finite Set Theory. Finite Automata, both deterministic and nondeterministic ... languages. The MyhillNerode 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 BoijSö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 polynomialtime 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 axisaligned nonintersecting 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 1dimensional 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 specialpurpose system for computational...

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