• Gfan

  • Referenced in 105 articles [sw04698]
  • package for computing Gröbner fans and tropical varieties. These are polyhedral fans associated to polynomial ... universal Gröbner basis. The tropical variety of a polynomial ideal is a certain subcomplex ... tropical curves, tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above ... study of Gröbner bases, initial ideals and tropical geometry. The full list of commands...
  • gfanlib

  • Referenced in 3 articles [sw15679]
  • computing Gröbner fans, Gröbner complexes and tropical varieties. For example, given a cone by inequalities ... over the rational numbers, compute its tropical variety with respect to the trivial...
  • tropicalNewton

  • Referenced in 1 article [sw27179]
  • computing: non-trivial points on tropical varieties, zero-dimensional tropical varieties, one-codimensional links ... tropical varieties, based on Newton polygon methods...
  • libtropicon

  • Referenced in 2 articles [sw25573]
  • many higher level algorithms for studying tropical varieties, computing mixed volume, enumerating mixed cells, constructing ... library for computing intersection points of generic tropical hyper-surfaces that provides a unified framework...
  • a-tint

  • Referenced in 9 articles [sw08418]
  • analyze how divisors and intersection products on tropical cycles can actually be computed using polyhedral ... varieties involved allow a much more efficient way of computing certain tropical cycles. The algorithms...
  • groebner_fan

  • Referenced in 1 article [sw29454]
  • highlights are: Commands for computing tropical varieties. Interactive walks in the Groebner...
  • cellularSheaves

  • Referenced in 3 articles [sw25131]
  • toric and tropical geometry linking cellular sheaf cohomologies to cohomologies of algebraic varieties. We then ... extension with examples from toric and tropical geometry...
  • realizationMatroids

  • Referenced in 1 article [sw19075]
  • theoretically contained in the tropicalization trop(Y) of an algebraic variety ... algebraic curves in Y which tropicalize to C. This library provides procedures deciding relative realizability...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

  • Referenced in 107 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Cinderella

  • Referenced in 140 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • CoCoA

  • Referenced in 601 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • DEMiCs

  • Referenced in 21 articles [sw00196]
  • DEMiCs is a software package written in C...
  • FGb

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 255 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 70 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Macaulay2

  • Referenced in 1567 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 4896 articles [sw00545]
  • The result of over 30 years of cutting...