Fearnley-Sander, DP, “Plane Euclidean reasoning”, Automated Deduction in Geometry, August 1 - 3, 1998, Beijing, China, pp. 86-110. (1999) [Refereed Conference Paper] |
Data Type | Value |
Type of Research | Pure Basic Research |
Research Division | Mathematical Sciences |
Research Group | Other mathematical sciences |
Research Field | Other mathematical sciences not elsewhere classified |
Research Objective Division | Education and Training |
Research Objective Group | Other education and training |
Research Objective Field | Other education and training not elsewhere classified |
Visit Item on eCite | http://ecite.utas.edu.au/16110 |