Mathematics mechanization
Subtitle: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
By: by Wu Wen-tsun.
Series: Mathematics and its applications ;; v. 489; Mathematics and its applications (Kluwer Academic Publishers) ;; v. 489.
Publisher: Kluwer Academic Publishers
Published: 2000
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 420
Subjects: Automatic theorem proving; Equations -- Numerical solutions; Artificial intelligence
Notes: Includes bibliographical references (p. [392]-402) and index.
"This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p.