=ADD=
=author=
Wu; Wen-Tsuen
=title=
Mechanical theorem proving in geometries
=year=
1994
=publisher=
Springer
=location=
2
=owner=
2
=source=
3
=reftype=
1