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