
cisimplicial
 Referenced in 11 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. GarciaMarco: ’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 1 article
[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...

GraphBase
 Referenced in 82 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...

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

na25
 Referenced in 5 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 EhrlichAberth...

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 153 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

Cinderella
 Referenced in 124 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 495 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

GAP
 Referenced in 1833 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Grail
 Referenced in 16 articles
[sw00374]
 Grail is a symbolic computation environment for finite...

LAPACK
 Referenced in 1257 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 201 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1023 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 1742 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 3988 articles
[sw00545]
 The result of over 30 years of cutting...