Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun.
Tipo de material:
TextoIdioma: Inglés Lenguaje original: Chino Series Mathematics and its applications ; v. 489Fecha de copyright: Dordrecht ; Boston : Kluwer Academic Publishers, 2000Edición: First EditionDescripción: xii, 420 pages : illustrations ; 25 cmISBN: - 079235835X (hbk : Kluwer)
- 9787030066862 (hbk : Kluwer)
- 7030066863 (hbk : Science Press)
- 9787030066862 (hbk : Science Press)
- 511.3 23
- QA76.9.A96 W8 2000
| Tipo de ítem | Biblioteca actual | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
|---|---|---|---|---|---|---|---|---|
Colección general
|
Biblioteca Yachay Tech | 511.3 W9597m 2000 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | 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.
No hay comentarios en este titulo.