Computing tropical varieties over fields with valuation

DOI10.1007/s10208-019-09430-2zbMath1445.14085arXiv1612.01762OpenAlexW2965276093MaRDI QIDQ2194773

Thomas Markwig, Yue Ren

Publication date: 7 September 2020

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1612.01762

zbMATH Keywords

tropical geometrystandard basestropical varietiesvalued fieldsGröbner fans

Mathematics Subject Classification ID

Real algebraic sets (14P05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of higher-dimensional varieties (14Q15) Non-Archimedean valued fields (12J25) Formal power series rings (13F25) Foundations of tropical geometry and relations with algebra (14T10)

Related Items

Computing zero-dimensional tropical varieties via projections, The gfanlib interface in Singular and its applications, The Tropical Nullstellensatz and Positivstellensatz for Sparse Polynomial Systems, Universal Analytic Gröbner Bases and Tropical Geometry, On intersections and stable intersections of tropical hypersurfaces, Detecting tropical defects of polynomial equations, Complexity of deciding whether a tropical linear prevariety is a tropical variety, Tropical differential Gröbner bases, The degree of a tropical basis

Uses Software

• Macaulay2
• SageMath
• SINGULAR
• Gfan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Standard bases in mixed power series and polynomial rings over rings
• Finiteness of spatial central configurations in the five-body problem
• Local Gröbner fans
• The Gröbner fan of an ideal
• Computing tropical points and tropical links
• Tropical approach to Nagata's conjecture in positive characteristic
• Computing tropical varieties
• Gröbner fans of \(x\)-homogeneous ideals in \(R [\![ t \!][x]\)]
• Bad Primes in Computational Algebraic Geometry
• Pruning Algorithms for Pretropisms of Newton Polytopes
• A guide to tropicalizations
• Local Tropicalization
• Enumerative tropical algebraic geometry in ℝ²
• Gröbner bases over fields with valuations
• The tropical Grassmannian
• Product-Mix Auctions and Tropical Geometry
• Understanding Preferences: “Demand Types”, and the Existence of Equilibrium With Indivisibilities
• Combinatorial Simplex Algorithms Can Solve Mean Payoff Games
• Algebraic Statistics for Computational Biology
• Matrix-F5 algorithms over finite-precision complete discrete valuation fields
• Tropical algebraic geometry