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]

Journal of symbolic computation
Volume: 79
Page(s): 575-593