Prolegomena to any theory of proof simplicity

Search results

• Supplementary material from "Prolegomena to any theory of proof simplicity"

  Pambuccian, V. (Creator), Figshare, 2018

  DOI: 10.6084/m9.figshare.c.4327289, https://figshare.com/collections/Supplementary_material_from_Prolegomena_to_any_theory_of_proof_simplicity_/4327289

  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

• 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

• 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

• 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