eCite Digital Repository

Plane Euclidean reasoning

Citation

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:Mathematical Sciences not elsewhere classified
Objective Division:Education and Training
Objective Group:Education and Training Systems
Objective Field:Education and Training Systems not elsewhere classified
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
Downloads:0

Repository Staff Only: item control page