Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Author(s)

Bibliographic Information

Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

by Wu Wen-tsun

(Mathematics and its applications, v. 489)

Kluwer Academic Publishers , Science Press, c2000

  • : Science Press
  • : Kluwer

Available at  / 12 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top