يعرض 1 - 2 نتائج من 2 نتيجة بحث عن '"03F20, 68Q17, 13P15"', وقت الاستعلام: 1.45s تنقيح النتائج
  1. 1
    تقرير
    Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system

    المؤلفون: Grochow, Joshua A.

    مصطلحات موضوعية: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, 03F20, 68Q17, 13P15, F.2.2, F.4.1

    URL الوصول: http://arxiv.org/abs/2306.02184

    أضف إلى المفضلة
  2. 2
    مورد إلكتروني
    Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system

    مصطلحات الفهرس: Computer Science - Computational Complexity, Computer Science - Logic in Computer Science, 03F20, 68Q17, 13P15, F.2.2, F.4.1, text

    URL: http://arxiv.org/abs/2306.02184

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء