Building 46.1: Max-Planck-Institut für InformatikA stimulating environment for computer scientistsInside the buildingSolar: Art in front of building 46.1
mpii Minerva of the Max Planck Society
max planck institut


Automated Deduction by Uwe Waldmann

Automated Deduction

By Uwe Waldmann

Human mathematicians prove a theorem by combining individual computation steps. This is a rather trivial task for a computer program once the necessary steps are known. For automatized processes, however, choosing which steps to execute is similar to looking for a needle in an infinitely large haystack. The research group "Automation of Logic" is one of the world leaders in developing efficient automated theorem provers.

Read more... ]

News & Activities

Press Releases | Awards | Spotlight | Campus Event Calendar | Employment & Offers | Conferences | Information for Guests