Computing Tropical Curves via Homotopy Continuation

REFERENCES

• [Adrovic and Verschelde 12] D. Adrovic and J. Verschelde. “Computing Puiseux Series for Algebraic Surfaces.” In Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation, pp. 20–27. ACM, 2012.
   Google Scholar
• [Adrovic and Verschelde 13] Danko Adrovic and Jan Verschelde. Polyhedral methods for space curves exploiting symmetry applied to the cyclic n-roots problem. In Computer Algebra in Scientific Computing, pp. 10–29. Springer, 2013.
   Google Scholar
• [Bates et al. 13] Daniel J. Bates, Elizabeth Gross, Anton Leykin, and Jose Israel Rodriguez. Bertini for Macaulay2. arXiv preprint arXiv:1310.3297, 2013a.
   Google Scholar
• [Bates et al. 13] Daniel J. Bates, Jonathan D. Hauenstein, Andrew J. Sommese, and Charles W. Wampler. Numerically Solving Polynomial Systems with Bertini, volume 25. SIAM, 2013b.
   Google Scholar
• [Bogart et al. 07] T. Bogart, A. N. Jensen, D. Speyer, B. Sturmfels, and R. R. Thomas. “Computing Tropical Varieties.” J. Symbolic Comput. 42: 1-2 (2007), 54–73. ISSN 0747-7171. URL http://dx.doi.org/10.1016/j.jsc.2006.02.004.
   Web of Science ®Google Scholar
• [Chan 13] Andrew Chan. “Gröbner Bases Over Fields with Valuations and Tropical Curves by Coordinate Projections.” PhD Thesis, University of Warwick, 2013.
   Google Scholar
• [Cooper et al. 94] D. Cooper, M. Culler, H. Gillet, D. D. Long, and P. B. Shalen. “Plane Curves Associated to Character Varieties of 3-manifolds.d” Invent. Math. 118: 1 (1994), 47–84. ISSN 0020-9910. URL http://dx.doi.org.prx.library.gatech.edu/10.1007/BF01231526.
   Web of Science ®Google Scholar
• [Culler 09] Marc Culler. “A Table of A-polynomials.d” Available at http://math.uic.edu/~culler/Apolynomials, 2009.
   Google Scholar
• [Culler et al.] Marc Culler, Nathan M. Dunfield, and Jeffrey R. Weeks. “SnapPy, A Computer Program for Studying the Topology of 3-manifolds.” Available at http://snappy.computop.org.
   Google Scholar
• [Decker et al. 15] Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Schönemann. Singular 4-0-2 — A Computer Algebra System for Polynomial Computations. http://www.singular.uni-kl.de, 2015.
   Google Scholar
• [Fukuda 05] Komei Fukuda. cddlib Reference Manual, cddlib Version 094b. Switzerland: Swiss Federal Institute of Technology, Lausanne and Zürich, 2005. http://www.inf.ethz.ch/personal/fukudak/cdd_home/.
   Google Scholar
• [Garoufalidis and van der Veen 14] Stavros Garoufalidis and Roland van der Veen. Quadratic Integer Programming and the Slop Conjecture. arXiv:math.GT/1405.5088, 2014.
   Google Scholar
• [Gel’fand et al. 94] I. M. Gel’fand, M. M. Kapranov, and A. V. Zelevinsky. Discriminants, Resultants, and Multidimensional Determinants. Boston, MA: Mathematics: Theory & Applications. Birkhäuser Boston Inc., 1994. ISBN 0-8176-3660-9.
   Google Scholar
• [Giusti et al. 07] Marc Giusti, Grégoire Lecerf, Bruno Salvy, and J.-C. Yakoubsohn. “On Location and Approximation of Clusters of Zeros: Case of Embedding Dimension One.” Foundations of Computational Mathematics 7: 1 (2007) 1–58.
   Web of Science ®Google Scholar
• [Grayson and Stillman] Daniel R. Grayson and Michael E. Stillman. “Macaulay 2, A Software System for Research in Algebraic Geometry.” Available at http://www.math.uiuc.edu/Macaulay2/.
   Google Scholar
• [Gross et al. 13] Elizabeth Gross, Sonja Petrović, and Jan Verschelde. “Interfacing with PHCpack.” Journal of Software for Algebra and Geometry 5: 1 (2013), 20–25.
   Google Scholar
• [Hauenstein and Sottile 14a] Jonathan D. Hauenstein and Frank Sottile. “Newton Polytopes and Witness Sets.” Mathematics in Computer Science 8: 2 (2014a), 235–251. ISSN 1661-8270. URL http://dx.doi.org/10.1007/s11786-014-0189-6.
   Google Scholar
• [Hauenstein and Sottile 14b] Jonathan D. Hauenstein and Frank Sottile. “Newton Polytopes and Witness Sets.” Math. Comput. Sci. 8: 2 (2014b), 235–251. ISSN 1661-8270. URL http://dx.doi.org/10.1007/s11786-014-0189-6.
   Google Scholar
• [Hept and Theobald 09] Kerstin Hept and Thorsten Theobald. “Tropical Bases by Regular Projections.” Proc. Am. Math. Soc. 137: 7 (2009), 2233–2241. ISSN 0002-9939; 1088-6826/e.
   Web of Science ®Google Scholar
• [Huber and Sturmfels 95] Birkett Huber and Bernd Sturmfels. “A Polyhedral Method for Solving Sparse Polynomial Systems.” Math. Comp. 64: 212 (1995), 1541–1555. ISSN 0025-5718.
   Web of Science ®Google Scholar
• [Huber and Verschelde 98] Birkett Huber and Jan Verschelde. “Polyhedral End Games for Polynomial Continuation.” Numerical Algorithms 18: 1 (1998), 91–108.
   Web of Science ®Google Scholar
• [Jensen] Anders N. Jensen. “Gfan, A Software System for Gröbner Fans and Tropical Varieties.” Available at http://home.imf.au.dk/jensen/software/gfan/gfan.html.
   Google Scholar
• [Jensen and Yu] Anders N. Jensen and Josephine Yu. Stable Intersection of Tropical Varieties. Journal of Algebraic Combinatorics. doi: 10.1007/s10801-015-0627-9
   Google Scholar
• [Jensen et al. 08] Anders Nedergaard Jensen, Hannah Markwig, and Thomas Markwig. “An Algorithm for Lifting Points in a Tropical Variety.” Collect. Math. 59: 2 (2008), 129–165. ISSN 0010-0757. URL http://dx.doi.org/10.1007/BF03191365.
   Web of Science ®Google Scholar
• [Krone 14] Robert Krone. Numerical Hilbert Functions for Macaulay2. arXiv preprint arXiv:1405.5293, 2014.
   Google Scholar
• [Leykin 11] Anton Leykin. “Numerical Algebraic Geometry.” The Journal of Software for Algebra and Geometry 3 (2011), 5–10.
   Google Scholar
• [Maclagan and Sturmfels 15] Diane Maclagan and Bernd Sturmfels. Introduction to Tropical Geometry, volume 161 of Graduate Studies in Mathematics. Providence, RI: American Mathematical Society, 2015.
   Google Scholar
• [Sommese et al. 05] A. J. Sommese, J. Verschelde, and C. W. Wampler. “Introduction to Numerical Algebraic Geometry.” In Solving Polynomial Equations, edited by A. Dickenstein and I. Emiris, pp. 301–338. Berlin Heidelberg: Springer-Verlag, 2005.
   Google Scholar
• [Sommese and Wampler 05] Andrew J. Sommese and Charles W. Wampler, II,. The Numerical Solution of Systems of Polynomials. Hackensack, NJ: World Scientific Publishing Co. Pte. Ltd., 2005. ISBN 981-256-184-6.
   Google Scholar
• [Verschelde 99] J. Verschelde. “Algorithm 795: PHCpack: A General-purpose Solver for Polynomial Systems by Homotopy Continuation.” ACM Trans. Math. Softw. 25: 2 (1999), 251–276. Available at http://www.math.uic.edu/∼jan.
   Web of Science ®Google Scholar
• [Verschelde et al. 94] Jan Verschelde, Pierre Verlinden, and Ronald Cools. “Homotopies Exploiting Newton Polytopes for Solving Sparse Polynomial Systems.” SIAM Journal on Numerical Analysis 31: 3 (1994), 915–930.
   Web of Science ®Google Scholar
• [Wunderling 96] Roland Wunderling. Paralleler und objektorientierter Simplex-Algorithmus. PhD thesis, Technische Universität Berlin, 1996. http://www.zib.de/Publications/abstracts/TR-96-09/.
   Google Scholar