Desmond Fearnley-Sander

According to our database¹, Desmond Fearnley-Sander authored at least 4 papers between 1996 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Varieties of Equality Structures.

[BibT_eX]

[DOI]

Int. J. Algebra Comput., 2003

2000

The Kinds of Truth of Geometry Theorems.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1998

Plane Euclidian Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1998

1996

Area in Grassmann Geometry.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction in Geometry, 1996