Certifying Zeros of Polynomial Systems Using Interval Arithmetic.

Paul Breiding Kemal Rose Sascha Timme

Published in: ACM Trans. Math. Softw. (2023)

Keyphrases

constraint propagation
interval arithmetic
search algorithm
multiscale
dynamic programming
d objects
synthetic and real images