Search for tag: "proof"

A Global History of Mathematics: An Urgent Human Concern - Agathe Keller

Is it all about proofs? Reflections on the multiple reasonings in Sanskrit mathematical texts Agathe Keller CNRS, University of Paris-Diderot

From  Greg McCracken 0 likes 9 plays 0  

A Krull-Remak-Schmidt theorem for fusion systems - Bob Oliver

Classifying spaces in homotopy theory: in honour of Ran Levi's 60th BirthdayBob Oliver, Université Paris 13This recording is in the process being subtitled. This typically takes around…

From  Greg McCracken 0 likes 6 plays 0  

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 39 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 14 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 10 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 12 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 5 plays 0  

A lower bound for k-DNF Resolution on random CNFs - Dmitry Sokolov

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A lower bound for k-DNF Resolution on random CNFs by Dmitry Sokolov

From  Iain Cms 0 likes 19 plays 0  

Depth lower bounds in Stabbing Planes - Nicola Galesi

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Depth lower bounds in Stabbing Planes by Nicola Galesi, Sapienza University Rome

From  Iain Cms 0 likes 7 plays 0  

Lifting Theorems: A Survey - Robert Robere

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation

From  Iain Cms 0 likes 7 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 11 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 23 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 17 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 2 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 11 plays 0