ภาควิชาวิศวกรรมไฟฟ้า คณะวิศวกรรมศาสตร์ มหาวิทยาลัยเชียงใหม่ ขอเชิญฟังการบรรยายพิเศษ เรื่อง “Computer-assisted proofs in floating-point” โดย Prof. Siegfried M. Rump Head of the Institute for Reliable Computing, Hamburg University of Technology วันจันทร์ที่ 10 กุมภาพันธ์ 2557 เวลา 13.00-14.00 น. ณ ห้องบรรยายรวม อาคารโรงประลองไฟฟ้าแรงสูง ภาควิชาวิศวกรรมไฟฟ้า คณะวิศวกรรมศาสตร์ มหาวิทยาลัยเชียงใหม่

Abstract: Usually 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’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.]]>