Computing Amoebas

REFERENCES

• Aubry , Ph. , Rouillier , F. and Safey El Din , M. 2002 . “Real Solving for Positive Dimensional Systems.” . J. Symb. Comp. , 34 : 543 – 560 . [Aubry et al. 02]
   Web of Science ®Google Scholar
• Ben-Or , M. , Kozen , D. and Reif , J. 1986 . “The Complexity of Elementary Algebra and Geometry.” . J. Computer and System Sciences , 32 : 251 – 264 . [Ben-Or et al. 86]
   Web of Science ®Google Scholar
• Burundu , M. and Stillman , M. 1993 . “Computing the Equations of a Variety.” . Trans. Am. Math. Soc. , 337 : 677 – 690 . [Burundu and Stillman 93]
   Web of Science ®Google Scholar
• Collins , G. E. “Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition.” . Proc. Automated Theory and Formal Languages . pp. 134 – 183 . Berlin : Springer-Verlag. . [Collins 75], Lecture Notes in Computer Science vol. 33
   Google Scholar
• Cox , D. , Little , J. and O'Shea , D. 1996 . Ideals, Varieties, and Algorithms, , 2nd edition New York : Springer-Verlag. . [Cox et al. 96]
   Google Scholar
• Cox , D. , Little , J. and O'Shea , D. 1998 . Using Algebraic Geometry, Graduate Texts in Mathematics Volume 185 , New York : Springer-Verlag. . [Cox et al. 98]
   Google Scholar
• Einsiedler , M. , Lind , D. , Miles , R. and Ward , T. 2001 . “Expansive Subdynamics for Algebraic Zd Actions.” . Ergodic Theory and Dynamical Systems , 21 : 1695 – 1729 . [Einsiedler et al 01]
   Web of Science ®Google Scholar
• Eisenbud , D. 2001 . “Projective Geometry and Homological Algebra.”. ” . In Computations in Algebraic Geometry with Macaulay 2 Edited by: Eisenbud , D. , Grayson , D. , Stillman , M. and Sturmfels , B. Berlin : Springer-Verlag. . [Eisenbud 01]
   Google Scholar
• Forsberg , M. , Passare , M. and Tsikh , A. 2000 . “Laurent Determinants and Arrangements of Hyper-plane Amoebas.” . Adv. Math. , 151 : 45 – 70 . [Forsberg et al. 00]
   Web of Science ®Google Scholar
• Garey , M. R. and Johnson , D. S. 1979 . Computers and Intractability: A Guide to the Theory of NP–Completeness. New York : Freeman. . [Garey and Johnson 79]
   Google Scholar
• Gel'fand , I. M. , Kapranov , M. M. and Zelevinsky , A. V. 1994 . Discriminants, Resultants, and Multidimensional Determinants. Noston , MA : Birkhäuser Boston Inc. . [Gel'fand et al. 94]
   Google Scholar
• Grayson , D. R. and Stillman , M. E. 2001 . “ Macaulay 2. ” . In A Software System for Research in Algebraic Geometry and Commutative Algebra. [Grayson and Stillman 01], Available from World Wide Web: (http://www.math.uiuc.edu/Macaulay2/
   Google Scholar
• Grigor'ev , D. Y. and Vorobjov , N. N. Jr. 1988 . “Solving Systems of Polynomial Inequalities in Subexponential Time.” . J. Symb. Comp. , : 37 – 64 . [Grigor'ev and Vorobjov, Jr.]
   Web of Science ®Google Scholar
• Hodge , W. and Pedoe , D. 1947 . Methods of Algebraic Geometry Volume 1 , Cambridge : Cambridge University Press. . [Hodge and Pedoe 47]
   Google Scholar
• Mikhalkin , G. 2000 . “Real Algebraic Curves, the Moment Map and Amoebas.” . Ann. of Math. , 151 : 309 – 326 . [Mikhalkin 00]
   Web of Science ®Google Scholar
• Mikhalkin , G. and Rullgård , H. 2001 . “Amoebas of Maximal Area.” . Internat. Math. Res. Notices , : 441 – 451 . [Mikhalkin and Rullgård 01]
   Web of Science ®Google Scholar
• Passare , M. and Rullgård , H. 2000 . Amoebas, Monge-Ampére Measures and Triangulations of the Newton Polytope. Stockholm University. . [Passare and Rullgård 00], Research Report No. 10
   Google Scholar
• Ruan , W.-D. 2000 . Newton Polygon and String Diagram. [Ruan 00], Available from World Wide Web: (http://www.arXiv.org/abs/math.DG/0011012
   Google Scholar
• Rullgård , H. 2001 . “Polynomial Amoebas and Convexity.” , Ph.D. diss. Stockholm University. . [Rullgård 01], available as Research Report No. 8, 2001
   Google Scholar
• Sturmfels , B. 1996 . Gröbner Bases and Convex Polytopes Providence , RI : American Mathematical Society. . [Sturmfels 96]
   Google Scholar
• Sturmfels , B. 2002 . Solving Systems of Polynomial Equations [Sturmfels 02], to appear in the CBMS series of the AMS
   Google Scholar
• Tarski , A. 1951 . A Decision Method for Elementary Algebra and Geometry, , 2nd edition Berkeley , CA : University of California Press. . [Tarski 51]
   Google Scholar
• Verschelde , J. 1999 . “PHCpack: A General-Purpose Solver for Polynomial Systems by Homotopy Continuation.” . ACM Trans. Math. Software , : 251 – 276 . [Verschelde 99]
   Web of Science ®Google Scholar