
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: nontrivial points on tropical varieties, zerodimensional tropical varieties, onecodimensional 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 hypersurfaces that provides a unified framework...

atint
 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 specialpurpose 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]
 HOM4PS2.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...