An edition of Mathematics mechanization (2000)
Mathematics mechanization
mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
By Wu, Wen-tsün.
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2000
Publisher
Kluwer Academic Publishers
Language
eng
Pages
420
Description: