Sturm_Tarski Dependents

2021

The BKR Decision Procedure for Univariate Real Arithmetic

by Katherine Kosaian, Yong Kiam Tan and André Platzer

Apr 24

2018

The Budan–Fourier Theorem and Counting Real Roots with Multiplicity

by Wenda Li

Sep 02

2017

Evaluate Winding Numbers through Cauchy Indices

by Wenda Li

Oct 17

Count the Number of Complex Roots

by Wenda Li

Oct 17