- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos /
- Proof Complexity 2020
Open Collections
BIRS Workshop Lecture Videos
Featured Collection
BIRS Workshop Lecture Videos
Proof Complexity 2020 Beame, Paul
Description
A biased, incomplete high-level survey of progress in proof complexity over the last two decades. The start of a conversation about where to go next.
Item Metadata
Title |
Proof Complexity 2020
|
Creator | |
Publisher |
Banff International Research Station for Mathematical Innovation and Discovery
|
Date Issued |
2020-01-20T09:05
|
Description |
A biased, incomplete high-level survey of progress in proof complexity over the last two decades. The start of a conversation about where to go next.
|
Extent |
57.0 minutes
|
Subject | |
Type | |
File Format |
video/mp4
|
Language |
eng
|
Notes |
Author affiliation: University of Washington
|
Series | |
Date Available |
2020-07-19
|
Provider |
Vancouver : University of British Columbia Library
|
Rights |
Attribution-NonCommercial-NoDerivatives 4.0 International
|
DOI |
10.14288/1.0392452
|
URI | |
Affiliation | |
Peer Review Status |
Unreviewed
|
Scholarly Level |
Faculty
|
Rights URI | |
Aggregated Source Repository |
DSpace
|
Item Media
Item Citations and Data
Rights
Attribution-NonCommercial-NoDerivatives 4.0 International