Mathematics
and Interactions
-
Videos linked to synchronous tracesMore +
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)]()
01:00:17published on May 7, 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (2/2)
By Gérard Berry
![Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)]()
02:13:02published on April 23, 2014Constructive semantics, electricity propagation in circuits, 2-adic numbers, and formal verification (1/2)
By Gérard Berry
