
schubert
 Referenced in 27 articles
[sw09175]
 maple package for intersection theory. This Maple package for computations with Chern classes in intersection...

Schubert2
 Referenced in 3 articles
[sw16709]
 Schubert2  computation in intersection theory. This package supports computation in intersection theory on smooth projective...

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

atint
 Referenced in 9 articles
[sw08418]
 theory. We analyze how divisors and intersection products on tropical cycles can actually be computed...

schubert.lib
 Referenced in 1 article
[sw27180]
 Intersection Theory. We implement new classes (variety, sheaf, stack, graph) and methods for computing with ... implement new tools for the computation in equivariant intersection theory. These tools are based ... formula. They are useful for the computation of GromovWitten invariants. In order ... numbers of rational curves on general complete intersection CalabiYau threefolds in projective spaces...

SEGRE
 Referenced in 5 articles
[sw07760]
 theory, intersection theory, and singularity theory. Based on a procedure for the computation...

lifting
 Referenced in 3 articles
[sw31749]
 integrality of the nonbasic variables, compute an intersection cut, then strengthen the cut coefficients ... polynomialtime complexity in theory, this lifting procedure can be computationally costly in practice...

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]
 computing the intersection of (some) graded structures of commutative algebra and computing the stratification ... between these seemingly unrelated problems is invariant theory, more precisely, the construction of fundamental invariants ... orbit space. We provide algorithms for computing the intersection of finitely generated graded subalgebras, which...

BOXEL
 Referenced in 1 article
[sw03239]
 twelfth annual ACM symposium on theory of computing, held at Los Angeles, California, April ... Automata and Computability Theory, with the Cooperation of the IEEE Computer Society ... Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of Southern California ... Computing Machinery, 154160 (1980; Zbl 0476.68003), also in: Advances in computing research...

SACS Toolkit
 Referenced in 2 articles
[sw03708]
 five cuttingedge areas of research: computational sociology, the Britishbased School of Complexity ... 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...

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

Cinderella
 Referenced in 141 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 605 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

Epsilon
 Referenced in 39 articles
[sw00244]
 Epsilon is a library of functions implemented in...

FGb
 Referenced in 234 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...