Certifying solutions to square systems of polynomial-exponential equations (pdf)

Jonathan D. Hauenstein and Viktor Levandovskyy.



Examples
A rigid mechansim (RR dyad).
A compliant mechanism (four-bar linkage).

Research supported in part by the National Science Foundation under grants DMS-0915211 and DMS-1114336.