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
1-1 of 1 Editions
Mathematics mechanizationmechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
Language: eng
Pages: 420
Published In: 2000
Publisher: Kluwer Academic Publishers