Exponential lower bound for static semi-algebraic proofs
Dima Grigoriev, Edward A. Hirsch, Dmitrii V. Pasechnik
نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء
11
اقتباسات
(Scopus)