zweidimensionales bewegtes Bild
Semi-Algebraic Proofs, IPS Lower Bounds and the τ -Conjecture: Can a Natural Number be Negative?
- Location
-
Hannover TIB
- Extent
-
0MB, 01:00:05:09 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
Proof Complexity (20w5144) ; (Jan. 2020)
- Event
-
Veröffentlichung
- (who)
-
Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
- (when)
-
2020-01-01
- Contributor
-
Tzameret, Iddo
Nordström, Jakob (Organisation)
Atserias, Albert (Organisation)
Pudlak, Pavel (Organisation)
Santhanam, Rahul (Organisation)
- DOI
-
10.5446/55836
- Last update
-
04.12.2024, 8:10 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
- Tzameret, Iddo
- Nordström, Jakob (Organisation)
- Atserias, Albert (Organisation)
- Pudlak, Pavel (Organisation)
- Santhanam, Rahul (Organisation)
- Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
Time of origin
- 2020-01-01
Other Objects (12)
(Semi)Algebraic Proofs over {±1} Variables
Complexity Bounds for Block-IPs
Improving Bounds for Hadwiger's conjecture
Universal bounds on CFT Distance Conjecture
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
An Improved Bound for the Linear Arboricity Conjecture
Entropy bounds and the species scale distance conjecture
Improved bounds for the Kobayashi conjecture on generic hyperbolicity
A separation bound for real algebraic expressions
A Separation Bound for Real Algebraic Expressions
(Semi)Algebraic Proofs over {±1} Variables
Complexity Bounds for Block-IPs
Improving Bounds for Hadwiger's conjecture
Universal bounds on CFT Distance Conjecture
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
An Improved Bound for the Linear Arboricity Conjecture
Entropy bounds and the species scale distance conjecture
Improved bounds for the Kobayashi conjecture on generic hyperbolicity
A separation bound for real algebraic expressions
A Separation Bound for Real Algebraic Expressions
(Semi)Algebraic Proofs over {±1} Variables
Complexity Bounds for Block-IPs
Improving Bounds for Hadwiger's conjecture
Universal bounds on CFT Distance Conjecture
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
ALGEBRAIC PROOFS OF KWAPIEÑ'S AND LAMPERTI'S REPRESENTATION THEOREMS
An Improved Bound for the Linear Arboricity Conjecture
Entropy bounds and the species scale distance conjecture
Improved bounds for the Kobayashi conjecture on generic hyperbolicity
A separation bound for real algebraic expressions