• Gfan

  • Referenced in 105 articles [sw04698]
  • Gröbner bases, initial ideals and tropical geometry. The full list of commands can be found...
  • polymake

  • Referenced in 280 articles [sw00724]
  • open source software for research in polyhedral geometry. It deals with polytopes, polyhedra and fans ... well as simplicial complexes, matroids, graphs, tropical hypersurfaces, and other objects. Supported platforms include various...
  • TropLi

  • Referenced in 18 articles [sw10180]
  • making some computational applications of tropical geometry now viable. Our C++ implementation, called TropLi...
  • tropical.lib

  • Referenced in 10 articles [sw10839]
  • library for certain computations concerned with tropical geometry...
  • cellularSheaves

  • Referenced in 3 articles [sw25131]
  • summarize some results from toric and tropical geometry linking cellular sheaf cohomologies to cohomologies ... extension with examples from toric and tropical geometry...
  • triangulation

  • Referenced in 4 articles [sw10357]
  • intractable. It is faster than tropical geometry software up to dimension 5 or 6. Hashing...
  • a-tint

  • Referenced in 9 articles [sw08418]
  • intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus ... much more efficient way of computing certain tropical cycles. The algorithms discussed here have been...
  • tropicalNewton

  • Referenced in 1 article [sw27179]
  • Singular library tropicalNewton: Computations in Tropical Geometry using Newton Polygon methods. This libraries contains algorithms ... computing: non-trivial points on tropical varieties, zero-dimensional tropical varieties, one-codimensional links...
  • realizationMatroids

  • Referenced in 1 article [sw19075]
  • realizability questions on tropical curves. In tropical geometry, one question to ask is the following ... which is set theoretically contained in the tropicalization trop(Y) of an algebraic variety...
  • polyDB

  • Referenced in 1 article [sw26610]
  • lattice polytopes, combinatorial polytopes, matroids and tropical geometry. In this short note we introduce...
  • libtropicon

  • Referenced in 2 articles [sw25573]
  • generic tropical hyper-surfaces is a fundamental problem in computational algebraic geometry. An efficient algorithm ... 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 ... existing ecosystem of software in computational algebraic geometry...
  • gfanlib

  • Referenced in 3 articles [sw15679]
  • Singular that enables basic features of convex geometry through an interface to Gfanlib. It contains ... computing Gröbner fans, Gröbner complexes and tropical varieties. For example, given a cone by inequalities...
  • 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...