Complexity of Null-and Positivstellensatz proofs.

Dima Grigoriev Nicolai N. Vorobjov Jr.

Published in: Ann. Pure Appl. Log. (2001)

Keyphrases

real time
computational cost
social networks
computational complexity
theorem prover
formal proofs
data mining
computer vision
data structure
multiresolution
special case
space complexity