The Digital Librarian's Digital Library
search
D
O
CIS
Do
cuments in
C
omputing and
I
nformation
S
cience
Home
>>
Journals and Conference Proceedings
>>
aAutomated Deduction in Geometry
Automated Production of Readable Proofs for Theorems in Non-Euclidian Geometries
Lu Yang, Xiao-Shan Gao, Shang-Ching Chou, Jing-Zhong Zhang
Journal Title: aAutomated Deduction in Geometry
Date: 1996
This data comes from
DBLP
This page is maintained by
Angela Cornwell
and
Thomas Krichel
.
It was last updated on 2006-04-12
![[SWISH++]](/docis/swish-powered.gif){kind=small}
