Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

Remarks on simple proofs

From MaRDI portal
Publication:4593636
Jump to:navigation, search

DOI10.1007/978-3-319-53385-8_12zbMATH Open1375.00048OpenAlexW250905837MaRDI QIDQ4593636FDOQ4593636


Authors: Rosalie Iemhoff Edit this on Wikidata


Publication date: 22 November 2017

Published in: Simplicity: Ideals of Practice in Mathematics and the Arts (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-53385-8_12




Recommendations

  • What Simplicity Is Not
  • Prolegomena to any theory of proof simplicity
  • Note on the benefit of proof representations by name
  • Proof simplification and automated theorem proving
  • Theory Is Forever


Mathematics Subject Classification ID

Philosophy of mathematics (00A30)



Cited In (5)

  • Ontological purity for formal proofs
  • Mechanizing Mathematical Reasoning
  • Pathways of deductions
  • Title not available (Why is that?)
  • Visual thinking and simplicity of proof





This page was built for publication: Remarks on simple proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593636)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4593636&oldid=18754363"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 February 2024, at 13:24. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki