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.

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