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:
“Now, as always, the most automated appliance in a household is the mother.”
—Beverly Jones (b. 1927)
“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)