Automated theorem prover


Topic | v1 | created by jjones |
Description

Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science.


Relations

e.g. Z3

Z3 Theorem Prover is a cross-platform satisfiability modulo theories (SMT) solver by Microsoft.

subtopic of Computer science

Computer science is the study of computation and information. Computer science deals with theory of c...


Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources