Mathematics Mechanization: Mechanical Geometry Theorem-proving, Mechanical Geometry Problem-solving and Polynomial Equations-solving - Mathematics and Its Applications - Wen Tsun Wu - Livres - Kluwer Academic Publishers - 9780792358350 - 30 avril 2001
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 9 - 19 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits 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

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 30 avril 2001
Date de publication originale 2000
ISBN13 9780792358350
Éditeurs Kluwer Academic Publishers
Pages 432
Dimensions 155 × 235 × 23 mm   ·   784 g
Langue et grammaire Anglais  

Plus par Wen Tsun Wu

Afficher tout

Voir tous les Wen Tsun Wu ( par ex. Hardcover Book et Paperback Book )