Exponential lower bound for static semi-algebraic proofs

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

פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

11 ציטוטים ‏(Scopus)

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Exponential lower bound for static semi-algebraic proofs'. יחד הם יוצרים טביעת אצבע ייחודית.

Keyphrases

Computer Science

Mathematics