Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Bøger - Kluwer Academic Publishers - 9780792358350 - 30. april 2001
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 862

Bestilles fra fjernlager

Forventes klar til forsendelse 8. - 14. jan. 2026
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

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  

Mere med Wen Tsun Wu

Vis alle

Se alt med Wen Tsun Wu ( f.eks. Hardcover bog og Paperback Bog )