Certifying solutions to square systems of polynomial-exponential equations

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

Amsterdam : Elsevier (2016, 2017)
Contribution to a book, Journal Article

In: Journal of symbolic computation
Volume: 79
Page(s)/Article-Nr.: 575-593