Complexity of semi-algebraic proofs

Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik

Research outputpeer-review

24 Citations (Scopus)

Fingerprint Dive into the research topics of 'Complexity of semi-algebraic proofs'. Together they form a unique fingerprint.

Математика

Технические дисциплины и материаловедение