Algebraic Techniques and the Mechanization of Number Theory

Regular price$23.00
$23.00
Sale

Presentation of a method by which some simple algebraic peculiarities of the branch of mathematics known as number theory might be incorporated into a machine for generating proofs in number theory.