A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations.

Érik Martin-Dorel Pierre Roux

Published in: CPP (2017)

Keyphrases

floating point
numerically stable
interval arithmetic
fixed point
square root
polynomial equations
instruction set
sparse matrices
floating point arithmetic
data structure
fast fourier transform
higher order
fine grained
frequency domain
image matching