Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond

Osbert Bastani, Christopher J. Hillar, Dimitar Popov +1