Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Grāmatas - Kluwer Academic Publishers - 9780792358350 - 2001. gada 30. aprīlis
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications 2001 edition

Cena
€ 120,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 11. - 25. aug.
Saņemiet paziņojumus par jauniem Wen Tsun Wu izdevumiem
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

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  

Vairāk no tā paša izdevēja