Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving/
Wu, Wen-tsün
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving/ by Wu Wen-tsun. - Boston: Kluwer Academic, 1999. - p. cm.: - Mathematics and its applications; v. 489 . - Mathematics and its applications; v. 489. .
Printed in 2000
Includes bibliographical references and index.
079235835X (hardcover : alk. paper)
99030211
Automatic theorem proving.
Equations---Numerical solutions.
Artificial intelligence.
511.3 / W959m
Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving/ by Wu Wen-tsun. - Boston: Kluwer Academic, 1999. - p. cm.: - Mathematics and its applications; v. 489 . - Mathematics and its applications; v. 489. .
Printed in 2000
Includes bibliographical references and index.
079235835X (hardcover : alk. paper)
99030211
Automatic theorem proving.
Equations---Numerical solutions.
Artificial intelligence.
511.3 / W959m