„Mathematics Mechanization and Applications“ von Xiao-Shan Gao ist ein Fachbuch, das sich mit der Mechanisierung mathematischer Prozesse und deren praktischen Anwendungen befasst. Es behandelt theoretische Grundlagen und algorithmische...