Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2) | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)

By Gérard Berry

Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics

Gérard Berry Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification

Information about the video

Date of publication 07/05/2014
Institution IHP
Format MP4

Domain(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2024

Give feedback