Search for tag: "proof"

Damien Stehlé - Introduction to Lattice-based Cryptography (Pt 2)

Subtitles will be added at a later date. 25 July 2022 Foundations and Applications of Lattice-based Cryptography Damien Stehlé, ENS Lyon Introduction to Lattice-based Cryptography (Pt 2)

From  Liam Holligan 0 likes 10 plays 0  

Fourier's hieroglyphs, Jean Dhombres

This public lecture was part of the Fourier Analysis @200 workshop at ICMS. We were delighted to welcome speaker Jean Dhombres (École des hautes études en sciences sociales/ The School…

From  Iain Cms 0 likes 13 plays 0  

A hierarchy of propositional proof systems - Pavel Pudlak

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A hierarchy of propositional proof systems by Pavel Pudlak, Institute of Mathematics, CAS

From  Iain Cms 0 likes 2 plays 0  

Survey on bounded arithmetic - Arnold Beckmann

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on bounded arithmetic by Arnold Beckmann, Swansea University

From  Iain Cms 0 likes 3 plays 0  

Ideals, determinants, and straightening - Robert Andrews

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Ideals, determinants, and straightening by Robert Andrews, University of Illinois at Urbana Champagne

From  Iain Cms 0 likes 3 plays 0  

The minimum circuit size problem is hard for sum of squares - Kilian Risse

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation The minimum circuit size problem is hard for sum of squares KTH Royal Institute of Technology Kilian Risse

From  Iain Cms 0 likes 5 plays 0  

On the range avoidance problem for circuits - Hanlin Ren

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the range avoidance problem for circuits University of Oxford Hanlin Ren

From  Iain Cms 0 likes 19 plays 0  

Learning from equivalence queries and unprovability of circuit upper bounds - Igor Oliveira

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Learning from equivalence queries and unprovability of circuit upper bounds University of Warwick Igor Oliveira

From  Iain Cms 0 likes 13 plays 0  

Survey on meta complexity - Rahul Santhanam

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on meta complexity Oxford University Rahul Santhanam

From  Iain Cms 0 likes 4 plays 0  

On the strength of semi-algebraic proof systems - Ilario Bonacina

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation On the strength of semi-algebraic proof systems UPC Universitat Politècnica de Catalunya Ilario Bonacina

From  Iain Cms 0 likes 1 plays 0  

Merge Resolution QBF proofs with inbuilt strategies - Meena Mahajan

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Merge Resolution: QBF proofs with inbuilt strategies The Institute of Mathematical Sciences Meena Mahajan

From  Iain Cms 0 likes 2 plays 0  

TFNP Collapses, separations, and characterization - Mika Goos

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation TFNP: Collapses, separations, and characterization EPFL Swisserland Mika Goos

From  Iain Cms 0 likes 2 plays 0  

Radon-Brascamp-Lieb Inequalities and Model Operators - Philip Gressman

Fourier Analysis @ 200 Radon-Brascamp-Lieb Inequalities and Model Operators Philip Gressman, University of Pennsylvania 01 July 2022 This talk is being subtitled. This process typically takes…

From  Iain Cms 0 likes 12 plays 0  

Arithmetic of Intersections of Two Quadrics, After Nearly 40 Years - Jean-Louis Colliot-Thélène

Rational Points on Higher-Dimensional Varieties Arithmetic of Intersections of Two Quadrics, After Nearly 40 Years Jean-Louis Colliot-Thélène (Université Paris-Saclay, Centre…

From  Iain Cms 0 likes 38 plays 0  

On the Distribution of Rational Points on Ramified Covers of Abelian Varieties - Julian Demeio

Rational Points on Higher-Dimensional Varieties On the distribution of Rational Points on Ramified covers of Abelian Varieties Julian Demeio (Max Planck Institute, Bonn) 27 April 2022

From  Iain Cms 0 likes 32 plays 0  

Quartic Diagonal Surfaces with a Brauer-Manin Obstruction - Tim Santens

Rational Points on Higher-Dimensional Varieties Quartic Diagonal Surfaces with a Brauer-Manin Obstruction Tim Santens (KU Leuven) 25 April 2022

From  Iain Cms 0 likes 38 plays 0