Good Programming is Mathematics and Vice Versa
1 788
15.3
Microsoft Research331 тыс
Следующее
08.08.16 – 1526:38Популярные
174 дня – 6183:07:51
15.09.23 – 4 7893:33Опубликовано 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.
Свежие видео
12 дней – 49 41910:10
17 дней – 1 9965:07
19 дней – 12 9232:15
20 дней – 991:40
24 дня – 241 6767:26Случайные видео
85 дней – 116 6119:58
270 дней – 9970:45
12.06.23 – 241 2861:30
24.06.22 – 95653:59
29.10.21 – 26 22314:08
06.10.21 – 2 1552:06
6 дней – 4271:56
8 дней – 19 9388:03
10 дней – 3 38239:46
12 дней – 16115:56
12 дней – 2 2700:26
12 дней – 4 34220:35
18 дней – 3711:07
1 день – 1141:57