AUTOMATED REASONING

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.”
 

x