Certifying approximate solutions to polynomial systems on Macaulay2

DOI10.1145/3371991.3371995OpenAlexW2988397612MaRDI QIDQ5880541

Kisun Lee

Publication date: 3 March 2023

Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3371991.3371995

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (1)

Euclidean distance degree and mixed volume

Uses Software

• Macaulay2
• alphaCertified

This page was built for publication: Certifying approximate solutions to polynomial systems on Macaulay2