Open Collections

BIRS Workshop Lecture Videos

Banff International Research Station Logo
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
Beame, Paul
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
Mathematics; Computer science; Mathematical logic and foundations; Theoretical computer science
Type
Moving Image
File Format
video/mp4
Language
eng
Notes
Author affiliation: University of Washington
Series
BIRS Workshop Lecture Videos (Banff, Alta)
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
http://hdl.handle.net/2429/75205
Affiliation
Non UBC
Peer Review Status
Unreviewed
Scholarly Level
Faculty
Rights URI
http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository
DSpace

Item Media

Item Citations and Data

Rights

Attribution-NonCommercial-NoDerivatives 4.0 International