Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun.
Material type:
TextLanguage: English Original language: Chinese Series: Mathematics and its applications ; v. 489Copyright date: Dordrecht ; Boston : Kluwer Academic Publishers, 2000Edition: First EditionDescription: xii, 420 pages : illustrations ; 25 cmISBN: - 079235835X (hbk : Kluwer)
- 9787030066862 (hbk : Kluwer)
- 7030066863 (hbk : Science Press)
- 9787030066862 (hbk : Science Press)
- 511.3
- QA76.9.A96 W8 2000
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
Colección general
|
Biblioteca Yachay Tech | 511.3 W9597m 2000 (Browse shelf(Opens below)) | Ej. 1 | Available | 005846 |
"This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p.
Includes index.
Includes bibliographical references (p. [392]-402).
Part I: Historical Developments. 1. Polynomial Equations-Solving in Ancient Times, Mainly in Ancient China. 2. Historical Development of Geometry Theorem-Proving and Geometry Problem-Solving in Ancient Times -- Part II: Principles and Methods. 3. Algebraic Varieties as Zero-Sets and Characteristic-Set Method. 4. Some Topics in Computer Algebra. 5. Some Topics in Computational Algebraic Geometry -- Part III: Applications and Examples. 6. Applications to Polynomial Equations-Solving. 7. Applications to Geometry Theorem-Proving. 8. Diverse Applications.
This book is a collection of essays centred around the subject of mathematical mechanization. Audience: This volume will be of interest to research and applied mathematicians, computer scientists and historians in mathematics.
There are no comments on this title.