Tropical Algebraic Geometry in Maple

Abstract:

Finding a common factor of two multivariate polynomials with approximate coefficients is a problem in symbolic-numeric computing. Taking a tropical view on this problem leads to efficient preprocessing techniques, alternatingly applying polyhedral methods on the exact exponents with numerical techniques on the approximate coefficients. With Maple we will illustrate our use of tropical algebraic geometry. This is work in progress jointly with Danko Adrovic.

MICA 2008 -- Milestones in Computer Algebra. A conference in honour of Keith Geddes' 60th Birthday. Stonehaven Bay, Trinidad and Tobago, 1-3 May 2008

slides of the talk