eCite Digital Repository

Plane Euclidean reasoning


Fearnley-Sander, DP, Plane Euclidean reasoning, Automated Deduction in Geometry, August 1 - 3, 1998, Beijing, China, pp. 86-110. (1999) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
Research Division:Mathematical Sciences
Research Group:Other mathematical sciences
Research Field:Other mathematical sciences not elsewhere classified
Objective Division:Education and Training
Objective Group:Other education and training
Objective Field:Other education and training not elsewhere classified
UTAS Author:Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
ID Code:16110
Year Published:1999
Deposited By:Mathematics
Deposited On:1999-08-01
Last Modified:2000-06-21

Repository Staff Only: item control page