Certifying solutions to square systems of polynomial-exponential equations

Amsterdam / Elsevier (2016, 2017) [Contribution to a book, Journal Article]

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

Authors

Selected Authors

Hauenstein, Jonathan D.
Levandovskyy, Viktor

Identifier