In this lecture, I will focus specifically on the use of formal methods in analysis. I will discuss linear arithmetic, methods for real closed fields, and methods of handling more general nonlinear expressions, and explain how conventional numeric and symbolic approaches are integrated with formal methods.
This lecture is part of the AMSI-CARMA Lecture Series “Mathematical Logic & Philosophy”
To participate in this seminar:
This lecture series will be available on the Internet via SeeVogh: you can download and install the client for free at www.seevogh.com. It is recommended that you try it out with the test meeting number which is 7532474432. To take part in the lectures, please email David Allingham, who will provide the meeting numbers for the sessions, or check the CARMA event website periodically.