zweidimensionales bewegtes Bild
The Surprising Power of Constant Depth Algebraic Proofs: Q/A Session D - Paper D5.E
- Location
-
Hannover TIB
- Extent
-
303MB, 00:25:35:17 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2020 ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
- (when)
-
2020-01-01
- Contributor
-
Mouli, Sasank
Impagliazzo, Russell
Pitassi, Toniann
- DOI
-
10.5446/49301
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Mouli, Sasank
- Impagliazzo, Russell
- Pitassi, Toniann
- Center for Perspicuous Computing – TRR 248, Saarland Informatics Campus (SIC)
Time of origin
- 2020-01-01
Other Objects (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