Mathematics mechanization - mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
- Författare
- Wen-tsün Wu
- (Wu Wen-Tsun.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Science Press, Kluwer Academic | c2000 | Storbritannien, Beijing, London | xii, 420 sidor. ill. 25 cm |