"Wu Wen-Tsun. Mathematics Mechanization.. Mechanical Geometry Theorem proving (Kluwer, 2000)(ISBN 079235835X)(600dpi)(T)(427s)_MAco_.djvu" - читать интересную книгу автора