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
(Mathematics and its applications, v. 489)
Kluwer Academic Publishers , Science Press, c2000
- : Science Press
- : Kluwer
Available at / 12 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: Science PressWU||7||101007914
-
Hiroshima University Central Library, Interlibrary Loan
: Science Press410.96:W-96/HL4076004000410699,
: Kluwer410.96:W-964000414384 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index