• CoCoA

  • Referenced in 654 articles [sw00143]
  • various data related to them (ideals, modules, matrices, rational functions). For example, it can readily ... minimal free resolution, intersection, division, the radical of an ideal, the ideal of zero-dimensional...
  • cisimplicial

  • Referenced in 15 articles [sw10945]
  • determining if a simplicial toric ideal is a complete intersection with NO NEED of computing ... toric ideal of an affine monomial curve is a complete intersection’, J. Symbolic Computation...
  • olga.lib

  • Referenced in 7 articles [sw22197]
  • computation of the intersection of a left ideal with a submonoid...
  • cimonom

  • Referenced in 3 articles [sw10946]
  • toric ideal of an affine monomial curve is a complete intersection. cimonom.lib. A library ... toric ideal of an affine monomial curve is a complete intersection with NO NEED ... toric ideal of an affine monomial curve is a complete intersection’, Preprint...
  • StronglyStableIdeals

  • Referenced in 11 articles [sw27084]
  • result by Galligo says that generic initial ideals are of this type. In the context ... theorem means that each component and each intersection of components contains at least a point ... scheme defined by a Borel-fixed ideal. Hence, these ideals are distributed throughout the Hilbert...
  • MultiplierIdealsDim2

  • Referenced in 2 articles [sw36746]
  • with the computations of multiplier ideals. Given the self intersection matrix and the divisor associated...
  • SCARF

  • Referenced in 1 article [sw21232]
  • number of road and intersection candidates by matching an ideal road-surface likelihood image with ... robot vehicle on the road or intersection. The SCARF system is described in detail, results...
  • Monoid

  • Referenced in 1 article [sw23616]
  • intersections of embedded monoids, testing membership in a monoid, testing membership in the conductor ideal...
  • SegreClasses

  • Referenced in 2 articles [sw36752]
  • Segre classes, algebraic multiplicity, and Fulton-MacPherson intersection products. More generally, for subschemes ... component of the scheme associated to an ideal is contained in the scheme associated...
  • Thingi10K

  • Referenced in 2 articles [sw34102]
  • inputs encountered emph{in the wild}. An ideal benchmarking dataset should not only draw from ... endemic to 3D printing models (e.g., self-intersections, non-manifoldness). We observe that the contextual...
  • AXIOM

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

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

  • Referenced in 84 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • Epsilon

  • Referenced in 44 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • FGb

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

  • Referenced in 3154 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GAUSS

  • Referenced in 119 articles [sw00322]
  • The GAUSS Mathematical and Statistical System is a...
  • Gmsh

  • Referenced in 720 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • HOM4PS

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...