Proof and Computation in Geometry. Beeson, M. In Ida, T. & Fleuriot, J., editors, Automated Deduction in Geometry (ADG 2012), volume 7993, of Springer Lecture Notes in Artificial Intelligence, pages 1-30, Berlin Heidelberg, 2013. Springer-Verlag.
![Proof and Computation in Geometry [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{beeson2013,
address = {Berlin Heidelberg},
author = {Michael Beeson},
booktitle = {Automated Deduction in Geometry (ADG 2012)},
date-added = {2014-11-13 22:54:27 +0000},
date-modified = {2014-11-14 18:30:43 +0000},
editor = {Tetsuo Ida and Jacques Fleuriot},
keywords = {Geometry, Constructive mathematics},
pages = {1-30},
publisher = {Springer-Verlag},
series = {Springer Lecture Notes in Artificial Intelligence},
title = {Proof and Computation in Geometry},
url_pdf = {Edinburgh.pdf},
volume = {7993},
year = {2013}}Downloads: 0
{"_id":"3Mt5KisJ8ZqRkxYjm","authorIDs":["TqZdHatzyaM88iEPt"],"author_short":["Beeson, M."],"bibbaseid":"beeson-proofandcomputationingeometry-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin Heidelberg","author":[{"firstnames":["Michael"],"propositions":[],"lastnames":["Beeson"],"suffixes":[]}],"booktitle":"Automated Deduction in Geometry (ADG 2012)","date-added":"2014-11-13 22:54:27 +0000","date-modified":"2014-11-14 18:30:43 +0000","editor":[{"firstnames":["Tetsuo"],"propositions":[],"lastnames":["Ida"],"suffixes":[]},{"firstnames":["Jacques"],"propositions":[],"lastnames":["Fleuriot"],"suffixes":[]}],"keywords":"Geometry, Constructive mathematics","pages":"1-30","publisher":"Springer-Verlag","series":"Springer Lecture Notes in Artificial Intelligence","title":"Proof and Computation in Geometry","url_pdf":"Edinburgh.pdf","volume":"7993","year":"2013","bibtex":"@inproceedings{beeson2013,\n\taddress = {Berlin Heidelberg},\n\tauthor = {Michael Beeson},\n\tbooktitle = {Automated Deduction in Geometry (ADG 2012)},\n\tdate-added = {2014-11-13 22:54:27 +0000},\n\tdate-modified = {2014-11-14 18:30:43 +0000},\n\teditor = {Tetsuo Ida and Jacques Fleuriot},\n\tkeywords = {Geometry, Constructive mathematics},\n\tpages = {1-30},\n\tpublisher = {Springer-Verlag},\n\tseries = {Springer Lecture Notes in Artificial Intelligence},\n\ttitle = {Proof and Computation in Geometry},\n\turl_pdf = {Edinburgh.pdf},\n\tvolume = {7993},\n\tyear = {2013}}\n\n","author_short":["Beeson, M."],"editor_short":["Ida, T.","Fleuriot, J."],"key":"beeson2013","id":"beeson2013","bibbaseid":"beeson-proofandcomputationingeometry-2013","role":"author","urls":{" pdf":"http://www.michaelbeeson.com/research/papers/Edinburgh.pdf"},"keyword":["Geometry","Constructive mathematics"],"metadata":{"authorlinks":{"beeson, m":"http://michaelbeeson.com/"}}},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/beeson.bib","creationDate":"2014-11-14T18:05:57.291Z","downloads":2,"keywords":["geometry","constructive mathematics"],"search_terms":["proof","computation","geometry","beeson"],"title":"Proof and Computation in Geometry","year":2013,"dataSources":["v9esbf6gQ8h64d3NA"]}