Mechanical theorem proving in geometries : basic principles

Mechanical theorem proving in geometries : basic principles

Saved in:
Bibliographic Details
Main Author : Wu Wenjun (Auteur)
Other Authors : Wang Dongming (Traducteur), Jin Xiaofan (Traducteur)
Format : Book
Language : anglais
Title statement : Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu; transl. from the Chinese by Xiaofan Jin and Dongming Wang
Published : Wien, New York : Springer-Verlag , cop. 1994
Physical Description : 1 vol. (XIV-288 p.)
Series : Texts and monographs in symbolic computation
Subjects :
Théorèmes > Démonstration automatique
Géométrie > Informatique
Loading