An edition of Mathematics mechanization (2000)

Mathematics mechanization

mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

My Reading Lists:

Create a new list




Download Options

Buy this book

Last edited by ImportBot
February 25, 2022 | History
An edition of Mathematics mechanization (2000)

Mathematics mechanization

mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

This edition doesn't have a description yet. Can you add one?

Publish Date
Language
English
Pages
420

Buy this book

Previews available in: English

Book Details


Edition 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.

Published in
Dordrecht, Boston
Series
Mathematics and its applications ;, v. 489, Mathematics and its applications (Kluwer Academic Publishers) ;, v. 489.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 W8 2000, QA8.9-10.3

The Physical Object

Pagination
xii, 420 p. :
Number of pages
420

Edition Identifiers

Open Library
OL40087M
Internet Archive
mathematicsmecha00went
ISBN 10
079235835X
LCCN
99030211
Goodreads
5459297

Work Identifiers

Work ID
OL454451W

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
February 25, 2022 Edited by ImportBot import existing book
November 30, 2020 Edited by MARC Bot import existing book
July 5, 2019 Edited by MARC Bot import existing book
July 5, 2019 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record