On the Existence of Algebraically Natural Proofs
Offered By: IEEE via YouTube
Course Description
Overview
Explore a 23-minute IEEE conference talk delving into the concept of algebraically natural proofs, presented by a panel of experts from TIFR and IIT Bombay. Gain insights into this complex mathematical topic as Prerona Chatterjee, Mrinal Kumar, C. Ramya, Ramprasad Saptharishi, and Anamay Tengse discuss their research findings and implications in the field of algebraic complexity theory.
Syllabus
On the Existence of Algebraically Natural Proofs
Taught by
IEEE FOCS: Foundations of Computer Science
Tags
Related Courses
Introduction to LogicStanford University via Coursera Logic: Language and Information 1
University of Melbourne via Coursera Logic: Language and Information 2
University of Melbourne via Coursera Information Service Engineering
openHPI Language, Proof and Logic
Stanford University via edX