

An edition of Mathematics mechanization (2000)
mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
By Wu, Wen-tsün.
Publish Date
2000
Publisher
Kluwer Academic Publishers
Language
eng
Pages
420
1-1 of 1 Editions
Language: eng
Pages: 420
Published In: 2000
Publisher: Kluwer Academic Publishers