Complexity of semialgebraic proofs

By Dmitrii V. Pasechnik. 2002

62 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/4b4ea174ab84f76423a249ee1d1ff07f92400c95