Automated methods for formal proofs in simple arithmetics and algebra - Chaieb, Amine 1980- (2008)