Hervé Lanneau

Learn More
Characterizing real algebraic numbers by a sign-sequence (according to Thorn's lemma), using a variant of Ben Or Kozan and Reif algorithm for reducing the solving of systems of polynomial inequalities to the problem of counting real zeroes satisfying one polynomial inequality, and using a multivariate Sturm theory generalizing Hermite quadratic forms method(More)
  • 1