logo

Video encyclopedia

Automated theorem proving

2:01

Why is automated theorem proving impossible?

1:20

Automated theorem proving with SAT

1:30

Search space sizes for automated theorem proving ESTIMATES

0:21

Symbolic Logic and Mechanical Theorem Proving Computer Science and Applied Mathematics

3:41

Sympony Theorem Prover Tutorial video

Automated theorem proving 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.
    Explore contextually related video stories in a new eye-catching way. Try Combster now!
    • Logical foundations 

    • First implementations 

    • Decidability of the problem 

    • Related problems 

    • Industrial uses 

    • First-order theorem proving 

    • Benchmarks, competitions, and sources 

    • Popular techniques 

    • Software systems