Complexity of semi-algebraic proofs

Dima Grigoriev Edward A. Hirsch Dmitrii V. Pasechnik

Published in: Electron. Colloquium Comput. Complex. (2001)

Keyphrases

semi algebraic
management system