Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Bøker - Kluwer Academic Publishers - 9780792358350 - 30. april 2001
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Wen Tsun Wu

Pris
DKK 688,80

Bestillingsvarer

Forventes levert 30. jul - 7. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

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

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 Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. april 2001
Opprinelig utgitt 2000
ISBN13 9780792358350
Utgivere Kluwer Academic Publishers
Antall sider 432
Mål 155 × 235 × 23 mm   ·   784 g
Språk Engelsk  
Vis alle

Mer med Wen Tsun Wu

Se alt med Wen Tsun Wu ( f.eks. Innbunden bok og Pocketbok )