computer-based mathematical reasoning that includes geometric theorem proofs, algebraic equation solving, and mathematical theorem proofs. It is a subdiscipline of artificial intelligence.
AUTOMATED REASONING: “Automated reasoning refers to the type of logical reasoning done by computers.”