Screen LibraryMathematics mechanization：mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving
Saved in:
| Main Authors: | |
|---|---|
| Published: |
Kluwer Academic Publishers,
|
| Publisher Address: | Dordrecht Boston |
| Publication Dates: | c2000. |
| Literature type: | Book |
| Language: | English |
| Series: |
Mathematics and its applications ; v. 489 |
| Subjects: | |
| Carrier Form: | xii, 420 p.: ill. ; 25 cm. |
| ISBN: |
079235835X (hardcover : alk. paper) 7030066863 (Science Press) |
| Index Number: | O18 |
| CLC: |
O18-39 TP18 O1-39 |
| Call Number: | TP18/W959-1 |
| Contents: |
"This is an updated revised translation of the original Chinese work of the same title, Science Press, c2000"--Verso of t.p. Includes bibliographical references (p. [392]-402) and index. |