ZARZA We are Zarza, the prestigious firm behind major projects in information technology.

Big Conjectures

24/07/2017 58 min

Listen "Big Conjectures"

Descargar episodio Ver en sitio original

Episode Synopsis

Hales, T
Monday 10th July 2017 - 10:00 to 11:00

More episodes of the podcast Big proof

Automated theorem proving in first-order logic: from superposition to instantiation 25/08/2017

Categorical structures for type theory in univalent foundations" 28/07/2017

A MathComp Library tour 25/08/2017

A simple prover in the browser 26/07/2017

A tutorial introduction to Agda 21/07/2017

A tutorial introduction to the PVS proof assistant 21/07/2017

A Verified ODE Solver and Smale's 14th Problem 24/07/2017

Accessible Reasoning with Diagrams: Ontology Debugging 26/07/2017

After Math: Reasoning, Computing, and Proof in the Postwar United States (via Skype) 26/07/2017

An Industrially Useful Prover 24/07/2017

Ver todos los episodios