Abstract
Tropical geometry is a young field of mathematics which allows to study properties of objects from algebraic geometry with the aid of methods from discrete mathematics, like convex geometry and combinatorics. There are different ways to introduce tropical varieties and to derive the connection between these and their algebraic counterparts.We use a way, where the connection is concrete and where Gröbner basis techniques can be used to to establish it in both directions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Allermann, L.: Tropical hypersurfaces (2008), http://www.mathematik.uni-kl.de/~allermann
Alonso, M.-E., Mora, T., Niesi, G., Raimondo, M.: An algorithm for computing analytic branches of space curves at singular points. In: Proceedings of the 1992 International Workshop on Mathematics Mechanization, pp. 135–166. International Academic Publishers (1992)
Einsiedler, M., Kapranov, M., Lind, D.: Non-archimedean amoebas and tropical varieties. J. Reine Angew. Math. 601, 139–157 (2006)
Jensen, A.N.: Gfan, a software system for Gröbner fans (2007), http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html
Jensen, A.N., Markwig, H., Markwig, T.: tropical.lib. A singular 3.0 library for computations in tropical geometry (2007)
Jensen, A.N., Markwig, H., Markwig, T.: An algorithm for lifting points in a tropical variety. Collect. Math. 59, 129–165 (2008)
Markwig, T.: Standard bases in k[[t 1,...,t m ]][x 1,...,x n ]. J. Symb. Comp. 43, 765–786 (2008)
Maurer, J.: Puiseux expansions for space curves. Manuscripta Math. 32, 91–100 (1980)
Speyer, D., Sturmfels, B.: Tropical mathematics. math.CO/0408099 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Markwig, T. (2010). Computer Algebra Methods in Tropical Geometry. In: Fukuda, K., Hoeven, J.v.d., Joswig, M., Takayama, N. (eds) Mathematical Software – ICMS 2010. ICMS 2010. Lecture Notes in Computer Science, vol 6327. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15582-6_37
Download citation
DOI: https://doi.org/10.1007/978-3-642-15582-6_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15581-9
Online ISBN: 978-3-642-15582-6
eBook Packages: Computer ScienceComputer Science (R0)