A New Approach for Automatic Theorem Proving in Real Geometry

Authors
A.Dolzmann,T.Sturm,V.Weispfenning
Citation
A.dolzmann,t.sturm,v.weispfenning, A New Approach for Automatic Theorem Proving in Real Geometry, Journal of automated reasoning , 21(3), 1998, pp. 357-380
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
21
Issue
3
Year of publication
1998
Pages
357 - 380
Database
ACNP
SICI code