Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Beeson
Map detail
Michael Beeson9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael BeesonAMichael BeesonResearcherOn the Notion of Equal Figures in EuclidWOn the Notion of Equal ...preprint / 2022Euclid After Computer Proof-checkingWEuclid After Computer P...preprint / 2021A real-analytic Jordan curve cannot bound infinitely many relative minima of areaWA real-analytic Jordan ...preprint / 2015Constructive Geometry and the Parallel PostulateWConstructive Geometry a...preprint / 2015Herbrand's theorem and non-Euclidean geometryWHerbrand's theorem and ...preprint / 2015A Constructive Version of Tarski's GeometryWA Constructive Version ...preprint / 2015The number of minimal surfaces bounded by Enneper's wireWThe number of minimal s...preprint / 2016Finding Proofs in Tarskian GeometryWFinding Proofs in Tarsk...preprint / 2016
Person8 links

Michael Beeson

Researcher