Wu, Wen-tsun
Mechanical theorem proving in geometries : basic principles / Wen-tsun Wu. - Wien : Springer-Verlag , cop. 1994 . - XIV, 288 p. : il. ; 25 cm. - (Texts and monographs in symbolic computation)
ISBN 3-211-82506-1
Geometria
Demonstração de teoremas
LCC QA448
Mechanical theorem proving in geometries : basic principles / Wen-tsun Wu. - Wien : Springer-Verlag , cop. 1994 . - XIV, 288 p. : il. ; 25 cm. - (Texts and monographs in symbolic computation)
ISBN 3-211-82506-1
Geometria
Demonstração de teoremas
LCC QA448