37 citations · 131 across the 8 of their papers we have counts for
1 paper · 1 filter
James H. Davenport, Matthew England
In the 1930s Tarski showed that real quantifier elimination was possible, and in 1975 Collins gave a remotely practicable method, albeit with doubly-exponential complexity, which w…