The Idea of a Diagram

In Hassan Ait-Kaci & Maurice Nivat (eds.), Resolution of Equations in Algebraic Structures. Academic Press (1989)
  Copy   BIBTEX

Abstract

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

Author's Profile

Desmond Sander
University of Tasmania

Analytics

Added to PP
2016-10-29

Downloads
289 (#69,262)

6 months
84 (#75,102)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?