Mathematics mechanization :
Wu, Wen-tsün
Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun. - First Edition - xii, 420 pages : illustrations ; 25 cm. - Mathematics and its applications v. 489 .
"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.
079235835X (hbk : Kluwer) 9787030066862 (hbk : Kluwer) 7030066863 (hbk : Science Press) 9787030066862 (hbk : Science Press)
99030211
Automatic theorem proving
Equations--Numerical solutions
Artificial intelligence
QA76.9.A96 / W8 2000
511.3
Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving / by Wu Wen-tsun. - First Edition - xii, 420 pages : illustrations ; 25 cm. - Mathematics and its applications v. 489 .
"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.
079235835X (hbk : Kluwer) 9787030066862 (hbk : Kluwer) 7030066863 (hbk : Science Press) 9787030066862 (hbk : Science Press)
99030211
Automatic theorem proving
Equations--Numerical solutions
Artificial intelligence
QA76.9.A96 / W8 2000
511.3