{"id":5432,"date":"2014-01-29T01:25:11","date_gmt":"2014-01-29T01:25:11","guid":{"rendered":"http:\/\/eng.cmu.ac.th\/site\/?p=5432"},"modified":"2014-01-29T01:25:11","modified_gmt":"2014-01-29T01:25:11","slug":"%e0%b8%82%e0%b8%ad%e0%b9%80%e0%b8%8a%e0%b8%b4%e0%b8%8d%e0%b8%9f%e0%b8%b1%e0%b8%87%e0%b8%81%e0%b8%b2%e0%b8%a3%e0%b8%9a%e0%b8%a3%e0%b8%a3%e0%b8%a2%e0%b8%b2%e0%b8%a2%e0%b8%9e%e0%b8%b4%e0%b9%80%e0%b8%a8","status":"publish","type":"post","link":"https:\/\/eng.cmu.ac.th\/?p=5432","title":{"rendered":"\u0e02\u0e2d\u0e40\u0e0a\u0e34\u0e0d\u0e1f\u0e31\u0e07\u0e01\u0e32\u0e23\u0e1a\u0e23\u0e23\u0e22\u0e32\u0e22\u0e1e\u0e34\u0e40\u0e28\u0e29 \u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07  &quot;Computer-assisted proofs in floating-point&quot;"},"content":{"rendered":"<p>\t\t\t\t<![CDATA[<!--:TH-->\n\n<p style=\"text-align: center;\">\u0e20\u0e32\u0e04\u0e27\u0e34\u0e0a\u0e32\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e23\u0e21\u0e44\u0e1f\u0e1f\u0e49\u0e32 \u0e04\u0e13\u0e30\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e23\u0e21\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e40\u0e0a\u0e35\u0e22\u0e07\u0e43\u0e2b\u0e21\u0e48\n\u0e02\u0e2d\u0e40\u0e0a\u0e34\u0e0d\u0e1f\u0e31\u0e07\u0e01\u0e32\u0e23\u0e1a\u0e23\u0e23\u0e22\u0e32\u0e22\u0e1e\u0e34\u0e40\u0e28\u0e29 \u0e40\u0e23\u0e37\u0e48\u0e2d\u0e07<strong> &#8220;Computer-assisted proofs in floating-point&#8221;<\/strong>\n\u0e42\u0e14\u0e22 <strong>Prof. Siegfried M. Rump\nHead of the Institute for Reliable Computing, Hamburg University of Technology<!--:--><!--more--><!--:TH--><\/strong>\n\u0e27\u0e31\u0e19\u0e08\u0e31\u0e19\u0e17\u0e23\u0e4c\u0e17\u0e35\u0e48 10 \u0e01\u0e38\u0e21\u0e20\u0e32\u0e1e\u0e31\u0e19\u0e18\u0e4c 2557 \u0e40\u0e27\u0e25\u0e32 13.00-14.00 \u0e19.\n\u0e13 \u0e2b\u0e49\u0e2d\u0e07\u0e1a\u0e23\u0e23\u0e22\u0e32\u0e22\u0e23\u0e27\u0e21 \u0e2d\u0e32\u0e04\u0e32\u0e23\u0e42\u0e23\u0e07\u0e1b\u0e23\u0e30\u0e25\u0e2d\u0e07\u0e44\u0e1f\u0e1f\u0e49\u0e32\u0e41\u0e23\u0e07\u0e2a\u0e39\u0e07\n\u0e20\u0e32\u0e04\u0e27\u0e34\u0e0a\u0e32\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e23\u0e21\u0e44\u0e1f\u0e1f\u0e49\u0e32 \u0e04\u0e13\u0e30\u0e27\u0e34\u0e28\u0e27\u0e01\u0e23\u0e23\u0e21\u0e28\u0e32\u0e2a\u0e15\u0e23\u0e4c \u0e21\u0e2b\u0e32\u0e27\u0e34\u0e17\u0e22\u0e32\u0e25\u0e31\u0e22\u0e40\u0e0a\u0e35\u0e22\u0e07\u0e43\u0e2b\u0e21\u0e48<\/p>\n\n\n<strong>Abstract:<\/strong>\nUsually mathematical proofs are performed with pencil and paper. However, it is possible to assist mathematical proofs with digital computers. Those methods are as rigorous as mathematical proofs provided the compiler and operating system work to their specification. This is true although we use floating-point arithmetic with the advantage of full speed of today&#8217;s computers. There is easy access to such computer-assisted proofs through INTLAB, the toolbox for Reliable Computing entirely written in Matlab. Certain features of INTLAB will be discussed, from verified solution of linear systems, eigenvalue problems to automatic differentiation, systems of nonlinear equations, integration and differential equations.<!--:-->]]>\t\t<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\t\t\t\t<![CDATA[]]>\t\t<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[178,66],"tags":[],"class_list":["post-5432","post","type-post","status-publish","format-standard","hentry","category-178","category-66"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=\/wp\/v2\/posts\/5432","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5432"}],"version-history":[{"count":0,"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=\/wp\/v2\/posts\/5432\/revisions"}],"wp:attachment":[{"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5432"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5432"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/eng.cmu.ac.th\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5432"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}