Cylindrical Algebraic Decomposition and Applications to Special Functions
Sprache des Vortragstitels:
Invited colloquium talk at Max-Planck-Institute for Mathematics, Bonn
Sprache des Tagungstitel:
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.