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

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 Borelfixed 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 roadsurface 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 FultonMacPherson 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., selfintersections, nonmanifoldness). 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 specialpurpose 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]
 HOM4PS2.0: a software package for solving polynomial...

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