Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Książki - Kluwer Academic Publishers - 9780792358350 - 30 kwietnia 2001
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 408,90

Zamówione z odległego magazynu

Przewidywana dostawa 12 - 20 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 kwietnia 2001
Oryginalna data wydania 2000
ISBN13 9780792358350
Wydawcy Kluwer Academic Publishers
Strony 432
Wymiary 155 × 235 × 23 mm   ·   784 g
Język Angielski  

Więcej od Wen Tsun Wu

Pokaż wszystko

Zobacz wszystko od Wen Tsun Wu ( np. Hardcover Book i Paperback Book )