zweidimensionales bewegtes Bild
The Surprising Power of Constant Depth Algebraic Proofs: Q/A Session D - Paper D5.E
- Standort
-
Hannover TIB
- Umfang
-
303MB, 00:25:35:17 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Ereignis
-
Veröffentlichung
- (wer)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (wann)
-
2020-01-01
- Beteiligte Personen und Organisationen
-
Mouli, Sasank
Impagliazzo, Russell
Pitassi, Toniann
- DOI
-
10.5446/49301
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Mouli, Sasank
- Impagliazzo, Russell
- Pitassi, Toniann
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Entstanden
- 2020-01-01
Ähnliche Objekte (12)
The Surprising Power of Constant Depth Algebraic Proofs
(Semi)Algebraic Proofs over {±1} Variables
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
![Qa- [Qa-]](https://iiif.deutsche-digitale-bibliothek.de/image/2/ad9b8567-c447-46da-a7ba-53b4975e74ba/full/!306,450/0/default.jpg)
Qa- [Qa-]
Surprising Institutions
Automata Learning: An Algebraic Approach: Q/A Session C - Paper C6.D
Überraschendes surprising Geesthacht
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Characterization of polynomials in algebraic operators with constant coefficients
A surprising relation for the effective coupling constants of N = 2 super Yang-Mills theories
The Surprising Power of Constant Depth Algebraic Proofs
(Semi)Algebraic Proofs over {±1} Variables
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
Qa- [Qa-]
Surprising Institutions
Automata Learning: An Algebraic Approach: Q/A Session C - Paper C6.D
Überraschendes surprising Geesthacht
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Characterization of polynomials in algebraic operators with constant coefficients
A surprising relation for the effective coupling constants of N = 2 super Yang-Mills theories
The Surprising Power of Constant Depth Algebraic Proofs
(Semi)Algebraic Proofs over {±1} Variables
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
Qa- [Qa-]
Surprising Institutions
Automata Learning: An Algebraic Approach: Q/A Session C - Paper C6.D
Überraschendes surprising Geesthacht
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
Characterization of polynomials in algebraic operators with constant coefficients