Cylindrical Algebraic Decomposition and Applications to Special Functions

Description

Part 1) Cylindrical Algebraic Decomposition (CAD) is currently the method of choice for doing quantifier elimination in the theory of real closed fields. We will give a general introduction into CAD and discuss some standard applications. (Part 2) CAD has recently been applied for constructing computer proofs of some special function inequalities. We will present the common principle these proofs are based on, and illustrate this approach with some examples where it succeeds and some examples where it fails.

Period	08 May 2007
Event title	Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn
Event type	Other
Location	GermanyShow on map