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

Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification

26/05/2019 40 min

Listen "Math Mutation 251: Paradoxes, Mathematical Oddities, and Formal Verification"

Descargar episodio Ver en sitio original

Episode Synopsis

Audio of a recent conference talk relating Math Mutation topics to the verification of processor designs.

(Send feeback to [email protected])

More episodes of the podcast Math Mutation

Math Mutation 288: One Stone To Rule Them All 27/12/2023

Math Mutation 287: The Grim State of Modern Pizza 11/09/2023

Math Mutation 286: Adventures In Translation 27/08/2023

Math Mutation 285: Believe My Proofs Or Else 29/06/2023

Math Mutation 284: Don't Square Numbers, Triangle Them 30/04/2023

Math Mutation 283: Escape From Infinity 05/03/2023

Math Mutation 282: The Man With The Map 20/12/2022

Math Mutation 281: Pascal vs Mathematics 30/10/2022

Math Mutation 280: Rubik's Resurgence 26/08/2022

Math Mutation 279: Improbable Envelopes 01/07/2022

Ver todos los episodios