
CoCoA
 Referenced in 659 articles
[sw00143]
 Grobner bases, syzygies and minimal free resolution, intersection, division, the radical of an ideal...

Qhull
 Referenced in 332 articles
[sw04419]
 points. It may be used for the intersection of halfspaces...

NBI
 Referenced in 217 articles
[sw05075]
 Normalboundary intersection: A new method for generating the Pareto surface in nonlinear multicriteria optimization...

GraphBase
 Referenced in 137 articles
[sw01555]
 modified and combined by union, intersection, complementation, product, and forming line graphs. A general induced...

Book3264Examples
 Referenced in 97 articles
[sw27519]
 Examples using M2 and Schubert2 to do intersection theory. This package consists almost entirely ... exercises of the book ’3264 & All That: Intersection Theory in Algebraic Geometry’ by Eisenbud...

Biq Mac
 Referenced in 89 articles
[sw10532]
 Solving Maxcut to optimality by intersecting semidefinite and polyhedral relaxations. We present a method...

Ellipsoidal Toolbox
 Referenced in 38 articles
[sw10826]
 geometric (Minkowski) sums and differences of ellipsoids, intersections of ellipsoids and intersections of ellipsoids with ... verified if computed reach sets intersect with given ellipsoids, hyperplanes, or polytopes...

Convex
 Referenced in 33 articles
[sw07770]
 basic objects are polyhedra, which are intersections of finitely many (affine) halfspaces. Polyhedra can also ... define a POLYHEDRON are convhull and intersection. The linear setting is based on cones, which ... intersections of finitely many linear halfspaces (i.e., whose boundary contains the origin). Cones are generated ... either description with the functions poshull and intersection, respectively. The Convex package can deal with...

EFD
 Referenced in 54 articles
[sw04152]
 Doubling (resp. Tripling)oriented Doche/Icart/Kohel, Montgomery, Jacobi intersections, Jacobi quartics, Hessian, Edwards and inverted Edwards...

SCS
 Referenced in 53 articles
[sw16632]
 involving finding a nonzero point in the intersection of a subspace and a cone. This...

CDuce
 Referenced in 49 articles
[sw12434]
 rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns...

PolyLib
 Referenced in 47 articles
[sw09923]
 unions of polyhedra through the following operations: intersection, difference, union, convex hull, simplify, image...

2D triangulations
 Referenced in 39 articles
[sw11159]
 triangulations are provided: some of them handle intersections between input constraints segment while others...

schubert
 Referenced in 27 articles
[sw09175]
 Schubert: a maple package for intersection theory. This Maple package for computations with Chern classes ... intersection rings was written by Sheldon Katz and Stein Arild Strømme from 1992 and onwards...

QMorph
 Referenced in 29 articles
[sw08563]
 also offers the advantage of avoiding expensive intersection calculations commonly associated with advancing front procedures...

Bolasso
 Referenced in 29 articles
[sw31649]
 bootstrapped replications of a given sample, then intersecting the supports of the Lasso bootstrap estimates...

MATISSE
 Referenced in 28 articles
[sw06311]
 problem which consists in checking whether the intersection of the reachable set of the system...

CalabiYau database
 Referenced in 28 articles
[sw24665]
 these CalabiYau such as Chern classes, intersection numbers, and the Kähler and Mori cones...

PorePy
 Referenced in 25 articles
[sw27759]
 lines (1D) and points (0D), representing fracture intersections. Interaction between processes in neighboring domains...

DADMM
 Referenced in 25 articles
[sw28440]
 constraining the solution to be in the intersection of all the constraint sets. DADMM...