Mathematics Mechanization

The present book is actually a collection of essays by the author since 1977 centered around the subject which has been baptized mathematics mechanization.
The subject tries to deal with mathematics in a constructive and algorithmic manner so that the reasonings become mechanical, automated, and as much as possible to be intelligence-lacking, with the result of lessening the painstaking heavy brain-
labor.