University of Tasmania
Browse

File(s) not publicly available

The Kinds of Truth of Geometry Theorems

conference contribution
posted on 2023-05-23, 02:45 authored by Bulmer, M, Fearnley-Sander, DP, Stokes, TE
No description available

History

Publication title

Automated Deduction in Geometry

Editors

J Richter-Gebert and D Wang

Pagination

129-141

ISBN

3-540-42598-5

Department/School

School of Natural Sciences

Publisher

Springer-Verlag

Place of publication

Berlin

Event title

Third International Workshop, ADG 2000

Event Venue

Zurich, Switzerland

Date of Event (Start Date)

2000-09-25

Date of Event (End Date)

2000-09-27

Repository Status

  • Restricted

Socio-economic Objectives

Expanding knowledge in the mathematical sciences

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    No keyword provided

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC