• cisimplicial

  • Referenced in 12 articles [sw10945]
  • simplicial toric ideal is a complete intersection with NO NEED of computing explicitly a system ... affine monomial curve is a complete intersection’, J. Symbolic Computation 42 (2007) pags ... I.Bermejo and I. Garcia-Marco: ’Complete intersections in simplicial toric varieties’, Preprint...
  • cimonom

  • Referenced in 3 articles [sw10946]
  • affine monomial curve is a complete intersection. cimonom.lib. A library for determining if the toric ... affine monomial curve is a complete intersection with NO NEED of computing explicitly a system ... affine monomial curve is a complete intersection’, Preprint...
  • classifyci.lib

  • Referenced in 2 articles [sw20407]
  • library for classifying isolated complete intersection singularities for the base field of characteristic ... weierstrass semigroup of the space curve.Isolated complete intersection singularities were classified by M.Giusti...
  • BoijSoederbergCICone.m2

  • Referenced in 1 article [sw24208]
  • Rational combinations of Betti diagrams of complete intersections. We investigate decompositions of Betti diagrams over ... into the Betti diagrams of complete intersections. To do so, we determine the extremal rays ... cone generated by the diagrams of complete intersections and provide a factorial time algorithm...
  • GraphBase

  • Referenced in 103 articles [sw01555]
  • modified and combined by union, intersection, complementation, product, and forming line graphs. A general induced ... brief overview of the system. Complete details appeared in the author’s book with...
  • MCMApproximations

  • Referenced in 1 article [sw27111]
  • MCMApproximations -- Maximal Cohen-Macaulay Approximations and Complete Intersections...
  • schubert.lib

  • Referenced in 1 article [sw27180]
  • 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...
  • Regular Sets

  • Referenced in 14 articles [sw28793]
  • expressions to binary relations, an automatic and complete proof method for (in)equalities of binary ... obtained. Extended regular expressions with complement and intersection are also defined and an equivalence checker...
  • Calabi-Yau database

  • Referenced in 18 articles [sw24665]
  • Calabi-Yau threefolds by providing a complete construction of all 473,800,776 reflexive polyhedra ... these Calabi-Yau such as Chern classes, intersection numbers, and the Kähler and Mori cones...
  • JSetL

  • Referenced in 3 articles [sw29267]
  • basic set-theoretical operations (e.g., membership, union, intersection, etc.), as well as equality, inequality ... operations. Set constraints are solved using a complete solver that accounts for partially specified sets...
  • na25

  • Referenced in 6 articles [sw11492]
  • algorithm is proposed for computing the intersection of two plane curves given in rational parametric ... This approach avoids symbolic manipulations and is completely numerical. It relies on the Ehrlich-Aberth...
  • UNION3

  • Referenced in 1 article [sw07532]
  • global topology is used, such as complete face or edge information, or edge loops ... same cell are tested for intersection. Experimentally, the uniform grid is quite tolerant of varying ... covered-cell concept. When a cell is completely contained within a cube, its overlap list ... cleared, and objects in it are not intersected against each other (unless they both also...
  • Kaleido

  • Referenced in 8 articles [sw05940]
  • hereafter cited as [CLM]) provided a complete enumeration of the uniform polyhedra, together with ... drawings show the other intersections of faces, and there are also some photographs of wire...
  • WebSEEK

  • Referenced in 3 articles [sw14895]
  • searching for the images and videos. The complete system possesses several powerful functionalities, namely, searching ... search results lists manipulations such as intersection, subtraction and concatenation. At present, the system...
  • Swedge

  • Referenced in 2 articles [sw20754]
  • will compute all possible combinations of joint intersections that can form a wedge. Rock bolts ... improved integration with the Dips program. A complete Dips file can be imported into Swedge...
  • AXIOM

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

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

  • Referenced in 132 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 563 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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