Datasets
- 6 results
Search results
-
Pappus axiom from Prolegomena to any theory of proof simplicity
Pambuccian, V. (Contributor), figshare Academic Research System, Jan 1 2018
DOI: 10.6084/m9.figshare.7435544.v1, https://doi.org/10.6084%2Fm9.figshare.7435544.v1
Dataset
-
Desargues axiom from Prolegomena to any theory of proof simplicity
Pambuccian, V. (Contributor), figshare Academic Research System, Jan 1 2018
DOI: 10.6084/m9.figshare.7435547.v1, https://doi.org/10.6084%2Fm9.figshare.7435547.v1
Dataset
-
Pythagorean theorem from Prolegomena to any theory of proof simplicity
Pambuccian, V. (Contributor), figshare Academic Research System, Jan 1 2018
DOI: 10.6084/m9.figshare.7435553.v1, https://doi.org/10.6084%2Fm9.figshare.7435553.v1
Dataset
-
Inner and outer Pasch from Prolegomena to any theory of proof simplicity
Pambuccian, V. (Contributor), figshare Academic Research System, Jan 1 2018
DOI: 10.6084/m9.figshare.7435550.v1, https://doi.org/10.6084%2Fm9.figshare.7435550.v1
Dataset
-
Supplementary material from "Prolegomena to any theory of proof simplicity"
Pambuccian, V. (Creator), figshare Academic Research System, 2018
DOI: 10.6084/m9.figshare.c.4327289.v1, https://figshare.com/collections/Supplementary_material_from_Prolegomena_to_any_theory_of_proof_simplicity_/4327289/1
Dataset