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

Computer Algebra and Formal Proof

25/08/2017 1h 13min

Listen "Computer Algebra and Formal Proof"

Descargar episodio Ver en sitio original

Episode Synopsis

Davenport, J
Friday 21st July 2017 - 11:00 to 12: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