• CoCoA

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

  • Referenced in 250 articles [sw04419]
  • points. It may be used for the intersection of halfspaces...
  • NBI

  • Referenced in 151 articles [sw05075]
  • Normal-boundary intersection: A new method for generating the Pareto surface in nonlinear multicriteria optimization...
  • GraphBase

  • Referenced in 103 articles [sw01555]
  • modified and combined by union, intersection, complementation, product, and forming line graphs. A general induced...
  • Biq Mac

  • Referenced in 55 articles [sw10532]
  • Solving Max-cut to optimality by intersecting semidefinite and polyhedral relaxations. We present a method...
  • Convex

  • Referenced in 28 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...
  • CDuce

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

  • Referenced in 29 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...
  • PolyLib

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

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

  • Referenced in 26 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...
  • Book3264Examples

  • Referenced in 25 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...
  • 2D triangulations

  • Referenced in 33 articles [sw11159]
  • triangulations are provided: some of them handle intersections between input constraints segment while others...
  • Q-Morph

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

  • Referenced in 25 articles [sw06311]
  • problem which consists in checking whether the intersection of the reachable set of the system...
  • MAPC

  • Referenced in 23 articles [sw04990]
  • that are arbitrary size integers. Isolating all intersections of two algebraic plane curves...
  • Axel

  • Referenced in 21 articles [sw06457]
  • objects. Axel also provides algorithms to compute intersection points or curves, singularities of algebraic curves...
  • simpcomp

  • Referenced in 21 articles [sw06898]
  • group, (co-)homology with explicit basis computation, intersection form, etc.) and provides the user with...
  • cisimplicial

  • Referenced in 12 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. Garcia-Marco: ’Complete intersections in simplicial toric varieties’, Preprint...
  • insulate

  • Referenced in 19 articles [sw21729]
  • particular we allow arbitrary singularities and arbitrary intersection. This problem has been well studied...