Pastāsti draugiem par šo preci:
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications Wen Tsun Wu 2001 edition
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications
Wen Tsun Wu
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.
432 pages, biography
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2001. gada 30. aprīlis |
| Oriģinālā izdošanas datums | 2000 |
| ISBN13 | 9780792358350 |
| Izdevēji | Kluwer Academic Publishers |
| Lapas | 432 |
| Izmēri | 155 × 235 × 23 mm · 784 g |
| Valoda | Angļu |