بصمة
تأتي تسميات الموضوعات هذه من أعمال هذا الشخص. فهما يشكلان معًا بصمة فريدة.
- 1 ملفات شخصية مماثلة
أوجه التعاون ومجالات البحث الرئيسية خلال السنوات الخمس الماضية
التعاون الخارجي الأخير على المستوى الدولي/الإقليمي. ابحث بدقة حول التفاصيل بالنقر على النقاط أو
-
The power of the Binary Value Principle
Alekseev, Y. & Hirsch, E. A., 1 أغسطس 2025, في: Annals of Pure and Applied Logic. 176, 9, 103614.نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء
دخول حر -
Tropical Proof Systems: Between R(CP) and Resolution
Alekseev, Y., Grigoriev, D. & Hirsch, E. A., 24 فبراير 2025, 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025. Beyersdorff, O., Pilipczuk, M., Pimentel, E. & Thang, N. K. (المحررون). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 327).نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء
-
Proving Unsatisfiability with Hitting Formulas
Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., يناير 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (محرر). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; المجلد 287).نتاج البحث: فصل من :كتاب / تقرير / مؤتمر › منشور من مؤتمر › مراجعة النظراء
2 اقتباسات (Scopus) -
SEMIALGEBRAIC PROOFS, IPS LOWER BOUNDS, AND THE \bfittau-CONJECTURE: CAN A NATURAL NUMBER BE NEGATIVE?
Alekseev, Y., Grigoriev, D., Hirsch, E. A. & Tzameret, I., 2024, في: SIAM Journal on Computing. 53, 3, صفحة 648-700 53 صفحةنتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء
3 اقتباسات (Scopus) -
Improving 3 N Circuit Complexity Lower Bounds
Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., ديسمبر 2023, في: Computational Complexity. 32, 2, 13.نتاج البحث: نشر في مجلة › مقالة › مراجعة النظراء
1 اقتباس (Scopus)