Certifying solutions to square systems of polynomial-exponential equations

Hauenstein, Jonathan D. (Corresponding author); Levandovskyy, Viktor (Corresponding author)

Amsterdam / Elsevier (2016, 2017) [Buchbeitrag, Fachzeitschriftenartikel]

Journal of symbolic computation
Band: 79
Seite(n): 575-593