Automated theorem prover
Topic history | v1 (current) | created by jjones
Details
Automated theorem prover
see v1 | created by jjones | Add topic "Z3"
- Title
- Automated theorem prover
- 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.
- Link
- https://en.wikipedia.org/?curid=2546
resources
This topic has no history of related resources.
authors
This topic has no history of related authors.