Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving
Auteur :
Wu, Wen Tsun
Éditeur :
Wu, Wen Tsun
ISBN :
9780792358350
Date de publication :
1 janv. 2000
Dimensions :
23,5 x 15,5 x 2,3 cm
Poids :
785 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
This collection of essays centres around the subject of mathematical mechanization. It tries to deal with mathematics in a constructive and algorithmic manner so that reasoning becomes mechanical, automated and less laborious.