Mathematics mechanization mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving - Wen-Tsun Wu (Dordrecht Kluwer Academic, 2000)
Keywords: Mathematics-computer applications