Tropical algebraic geometry in Maple: A preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients*

摘要

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