Desmond Fearnley-Sander

Publication Activity (10 Years)

Years Active: 1996-2003
Publications (10 Years): 0

Publications

Desmond Fearnley-Sander, Timothy Stokes
Varieties of Equality Structures. Int. J. Algebra Comput. 13 (4) (2003)
Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes
The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry (2000)
Desmond Fearnley-Sander
Plane Euclidian Reasoning. Automated Deduction in Geometry (1998)
Desmond Fearnley-Sander, Timothy Stokes
Area in Grassmann Geometry. Automated Deduction in Geometry (1996)