Fortæl dine venner om denne vare:
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition
Wen Tsun Wu
Pris
Kč 2.846
Bestilles fra fjernlager
Forventes klar til forsendelse 29. jul. - 4. aug.
Tilføj til din iMusic ønskeseddel
Eller
Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 30. april 2001 |
| Oprindeligt udgivet | 2000 |
| ISBN13 | 9780792358350 |
| Forlag | Kluwer Academic Publishers |
| Antal sider | 432 |
| Mål | 155 × 235 × 23 mm · 784 g |
| Sprog | Engelsk |
