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
informatik

Spotlight

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