An automatic proof procedure for several geometries (report 1)

Title

An automatic proof procedure for several geometries (report 1)

Author

Bruyn, Th.
Claasen, H.L.

Faculty

Electrical Engineering, Mathematics and Computer Science

Department

Mathematics and Informatics

Date

1984

To reference this document use:

http://resolver.tudelft.nl/uuid:b768c6ce-f625-4236-9b0b-32a47fab143e

Publisher

Electrical Engineering, Mathematics and Computer Science

Source

Reports of the Department of Mathematics and Informatics no. 84-42

Part of collection

Institutional Repository

Document type

report

Rights

(c) 1984 The Author(s)