eCite Digital Repository

The Kinds of Truth of Geometry Theorems

Citation

Bulmer, M and Fearnley-Sander, DP and Stokes, TE, The Kinds of Truth of Geometry Theorems, Automated Deduction in Geometry, September 25-27, 2000, Zurich, Switzerland, pp. 129-141. ISBN 3-540-42598-5 (2001) [Refereed Conference Paper]

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Computation Theory and Mathematics
Research Field:Computation Theory and Mathematics not elsewhere classified
Objective Division:Expanding Knowledge
Objective Group:Expanding Knowledge
Objective Field:Expanding Knowledge in the Mathematical Sciences
Author:Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)
ID Code:21380
Year Published:2001
Deposited By:Mathematics
Deposited On:2001-08-01
Last Modified:2002-05-09
Downloads:0

Repository Staff Only: item control page