computer-based mathematical reasoning that includes geometric theorem proofs, algebraic equation solving, and mathematical theorem proofs. It is a subdiscipline of artificial intelligence.
computer-based mathematical reasoning that includes geometric theorem proofs, algebraic equation solving, and mathematical theorem proofs. It is a subdiscipline of artificial intelligence.