Good Programming is Mathematics and Vice Versa
1 789
15.3
Microsoft Research334 тыс
Следующее
08.08.16 – 1526:38Популярные
355 дней – 1 71032:52
27.10.22 – 23450:10Опубликовано 8 августа 2016, 18:34
Software has become critical to nearly every aspect of our civilization. Consequently, the complexity of our tools and our needs for dependability have increased immensely. Programmers need scalable tools and methodogies to keep complexity in check. Generic programming, with roots in computer algebra and symbolic mathematics, is one of the promising approaches to scalable and dependable software contruction. This talk explores recent accomplishments and lessons learned from fruitful interactions between tools support for principled programming and computational mathematics. Examples come from modern C++, OpenAxiom, symbolic mathematics, algorithmic differentiation and beyond. I will touch upon on-going projects, challenges ahead, and possible paths to solutions.
Свежие видео
9 часов – 3981:02
2 дня – 977 54718:29
3 дня – 2361:00
4 дня – 117 82715:39
5 дней – 4350:29
116 дней – 67 99010:14Случайные видео
139 дней – 37 95718:24
258 дней – 7821:02
31.07.23 – 1 8693:11
14.10.22 – 5451:11
4 часа – 11720:11
7 дней – 30 08812:15
10 дней – 2 5410:49
17 дней – 24 64732:34
