Computable Analysis for Verified Exact Real Computation
This presentation explores the principles of computable analysis and its application in achieving verified exact real computation. Access the slides for detailed insights.
FSTTCS 2020
122 views • Dec 3, 2020
About this video
Presentation slides available at https://drive.google.com/file/d/1oAFBpL1YbGCswf9oJFIfSi_f3v6hQ_yK/view?usp=sharing
Video Information
Views
122
Likes
1
Duration
27:03
Published
Dec 3, 2020
Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.
Trending Now