Automated theorem proving (also known as ATP or automated deduction) is the proving of mathematical theorems by a computer program. It is currently the most well-developed subfield of automated reasoning.
Read more about Automated Theorem Proving: Decidability of The Problem, Related Problems, Industrial Uses, First-order Theorem Proving, Benchmarks and Competitions, Popular Techniques, Comparison, Notable People
Famous quotes containing the words automated, theorem and/or proving:
“Nature is a self-made machine, more perfectly automated than any automated machine. To create something in the image of nature is to create a machine, and it was by learning the inner working of nature that man became a builder of machines.”
—Eric Hoffer (1902–1983)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)
“What is
there in being able
to say that one has dominated the stream in an attitude of
self-defense;
in proving that one has had the experience
of carrying a stick?”
—Marianne Moore (1887–1972)