|
||
|
|
||
|
|
|
MR1284925
(96a:68110)
68T15
(51-01)
Wu, Wen Tsün Mechanical theorem proving in geometries. Basic principles. Translated from the 1984 Chinese original by Xiao Fan Jin and Dong Ming Wang. Texts and Monographs in Symbolic Computation. Springer-Verlag, Vienna, 1994. xiv+288 pp. ISBN: 3-211-82506-1 |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|
