Video From 16w5099: Interval Analysis and Constructive Mathematics
Wednesday, November 16, 2016 09:15 - 09:59
Gray/pre-Gray code and program extraction based on pre-Gray code
![](http://www.birs.ca/files/images/poster.png)
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.