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