• Gfan

  • Referenced in 104 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 2 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 73 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

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

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

  • Referenced in 564 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 226 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

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

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

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

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

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

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