## eCite Digital Repository

# Author: Fearnley-Sander, DP (Mr Desmond Fearnley-Sander)

Number of items: **19**

Journal Article | |
---|---|

Fearnley-Sander, DP and Stokes, T, Varieties of Equality Structures, International Journal of Algebra and Computation, 13, (4) pp. 463-480. ISSN 0218-1967 (2003) [Refereed Article] | |

Fearnley-Sander, DP and Kelarev, AV and Stokes, T, Non-commutative Modal Rings and Internalized Equality, Algebra Colloquium, 9, (1) pp. 65-80. ISSN 1005-3867 (2002) [Refereed Article] | |

Fearnley-Sander, DP and Stokes, TE, Internalising equality in Boolean algebras, Algebra Universalis, 43, (2-3) pp. 187-195. ISSN 0002-5240 (2000) [Refereed Article] | |

Fearnley-Sander, DP and Stokes, TE, Equality algebras, Bulletin of the Australian Mathematical Society, 56, (2) pp. 177-191. ISSN 0004-9727 (1997) [Refereed Article] | |

Fearnley-Sander, DP, Automated Theorem Proving and Its Prospects, PSYCHE:An Interdisciplinary Journal of Research on Consciousness, 2, (28) pp. 1-9. ISSN 1039-723X (1996) [Letter or Note in Journal] | |

Fearnley-Sander, DP, Book Review: QUAIFE, A. Automated Development of Fundamental Mathematical Theories, Kluwer Academic Publishers (1992), The Australian Computer Journal, 27, (1) pp. 29. ISSN 0004-8917 (1995) [Letter or Note in Journal] | |

Bulmer, M and Fearnley-Sander, DP and Stokes, TE, Toward a Calculus of Algorithms, Bulletin of the Australian Mathematical Society, 50, (1) pp. 81-89. ISSN 0004-9727 (1995) [Refereed Article] | |

Fearnley-Sander, DP, Zero Derivative Theorem, Mathematica World, 3, (6) pp. 1-7. (1995) [Non Refereed Article] | |

Fearnley-Sander, DP and Wotherspoon, SJ, Numerical Integration 1, Mathematica World, 2, (9) pp. 1-11. (1994) [Non Refereed Article] |

Conference Publication | |
---|---|

Fearnley-Sander, DP, Algebra Worlds, Proceedings of the 12th ICMI Study Conference, December 9-14, 2001, Melbourne, pp. 243-251. ISBN 0-9579673-0-6 (2001) [Refereed Conference Paper] | |

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] | |

Fearnley-Sander, DP, Autonomy for automata, AISAT 2000 Proceedings, 17-20 December 2000, Hobart, pp. 302-305. (2000) [Refereed Conference Paper] | |

Fearnley-Sander, DP, Brain extensions - some thoughts on how to scramble a face, Proceedings of the Mathematics 2000 Festival, AAMT, January 2000, Melbourne, pp. 57-66. ISBN 1 875900 40 3 (2000) [Refereed Conference Paper] | |

Fearnley-Sander, DP, Mathematical structures for rational discourse, Fourth Asian Technology Conference in Mathematics, December 17 - 21, 1999, Guangzhou, China, pp. 311-319. ISBN 9579742022 (1999) [Refereed Conference Paper] | |

Fearnley-Sander, DP, Mathematics for computer science - and conversely, International Conference on the Teaching of Mathematics, July 3 - 6, 1998, Samos, Greece, pp. 104-106. (1999) [Conference Extract] | |

Fearnley-Sander, DP, Plane Euclidean reasoning, Automated Deduction in Geometry, August 1 - 3, 1998, Beijing, China, pp. 86-110. (1999) [Refereed Conference Paper] | |

Fearnley-Sander, DP and Stokes, T, Area in Grassmann geometry, Automated Deduction in Geometry; Lecture Notes in Artificial Intelligence, September 1996, Springer, pp. 141-170. ISBN 3-540-64297-8 (1998) [Refereed Conference Paper] | |

Fearnley-Sander, DP, A logic of definitional reasoning, CATS'96, Melbourne, pp. 81-89. (1996) [Refereed Conference Paper] | |

Fearnley-Sander, DP, Reasoning as theorizing, Workshop at Pacific Rim International Conference on Artificial Intelligence, Brisbane, pp. 13-23. (1996) [Non Refereed Conference Paper] |

This list was generated on **Thu Dec 12 23:18:50 2019**.