Vertel uw vrienden over dit artikel:
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
| Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 30 april 2001 |
| Datum oorspronkelijke uitgave | 2000 |
| ISBN13 | 9780792358350 |
| Uitgevers | Kluwer Academic Publishers |
| Pagina's | 432 |
| Afmetingen | 155 × 235 × 23 mm · 784 g |
| Taal en grammatica | Engels |
Meer door Wen Tsun Wu
Alles tonenBekijk alles van Wen Tsun Wu ( bijv. Hardcover Book en Paperback Book )
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld