Computational Higher-Dimensional Type Theory

- Latest Videos -
21/07/2017 59 min

Listen "Computational Higher-Dimensional Type Theory"

Descargar episodio Ver en sitio original

Episode Synopsis

Hou, K
Tuesday 4th July 2017 - 10:30 to 11:30

More episodes of the podcast - Latest Videos -

Some new perspectives on developing asymptotic preserving schemes 08/06/2022
Multiscale inverse problem, from Schroedinger to Newton to Boltzmann 08/06/2022
Multistep methods for hyperbolic systems with relaxation and optimal control problems.  08/06/2022
Hasse principle for simply connected groups - Kirk Distinguished Visiting Fellow Lecture 08/06/2022
A motivic Weil height machine for curves 08/06/2022
Reduction Theorems for Generalised Block Fusion Systems 08/06/2022
Growth estimates and diameter bounds for classical Chevalley groups 08/06/2022
Nonlocal quadratic forms with visibility constraint (joint work with Moritz Kassmann) 08/06/2022
Self-reinforcement, superdiffusion and subdiffusion 08/06/2022
Integral endotrivial modules 01/06/2022
© 2003-2026 ZARZA | AHEAD OF OUR TIME
privacy policy
In God we trust In God we trust
PreSales Questions? Click Here
or call our toll-free line at +1-888-5002068 Miami, Florida, USA