דילוג לניווט ראשי
דילוג לחיפוש
דילוג לתוכן הראשי
אוניברסיטת אריאל בשומרון בית
עזרה ושאלות נפוצות
English
עברית
العربية
בית
פרופילים
יחידות מחקר
פרסומים מחקריים
פרסים
פעילויות
חיפוש לפי מומחיות, שם או שיוך
Algebraic proof systems over formulas
Dima Grigoriev,
Edward A. Hirsch
פרסום מחקרי
:
פרסום בכתב עת
›
מאמר מכנס
›
ביקורת עמיתים
28
ציטוטים (Scopus)
סקירה כללית
טביעת אצבע
טביעת אצבע
להלן מוצגים תחומי המחקר של הפרסום 'Algebraic proof systems over formulas'. יחד הם יוצרים טביעת אצבע ייחודית.
מיון לפי
משקל
לפי סדר האלפבית
Keyphrases
Constant Depth
100%
Algebraic Proof Systems
100%
C-sign
100%
Polynomial Calculus
50%
Frege Systems
50%
Finite Fields
25%
Monomial
25%
Nullstellensatz
25%
Tautology
25%
Propositional Proof Systems
25%
Pigeonhole Principle
25%
Exponential Separation
25%
Modular Counting
25%
Computer Science
Proof System
100%