• 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...
  • a-tint

  • 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 Gromov-Witten invariants. In order ... numbers of rational curves on general complete intersection Calabi-Yau 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 non-basic variables, compute an intersection cut, then strengthen the cut coefficients ... polynomial-time 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, 154--160 (1980; Zbl 0476.68003), also in: Advances in computing research...
  • SACS Toolkit

  • Referenced in 2 articles [sw03708]
  • five cutting-edge areas of research: computational sociology, the British-based 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 special-purpose 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...