Mathematics and the computer proofs

Abstract

The use of computers in mathematics and mathematic education (particularly in Algebra). Examples of use of automata reasoning programs in the first-order logic.

Keywords

• Otter
• automata reasoning
• teaching