Discussing Hilbert's 24th problem (Q5204805): Difference between revisions

@@ Property / cites work @@
+Hilbert's Twenty-Fourth Problem
@@ Property / cites work: Hilbert's Twenty-Fourth Problem / rank @@
+Normal rank
@@ Property / cites work @@
+AXIOMATIC THINKING
@@ Property / cites work: AXIOMATIC THINKING / rank @@
+Normal rank
@@ Property / cites work @@
+Q3023557
@@ Property / cites work: Q3023557 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstracts of additional presentations made at the Royal Society Discussion Meeting ‘The nature of mathematical proof’
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in proof-theoretic semantics
@@ Property / cites work: Advances in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Beauty Is Not Simplicity: An Analysis of Mathematicians' Proof Appraisals
+Normal rank
@@ Property / cites work @@
+Is there a ``Hilbert thesis''?
@@ Property / cites work: Is there a ``Hilbert thesis''? / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical method and proof
@@ Property / cites work: Mathematical method and proof / rank @@
+Normal rank
@@ Property / cites work @@
+MODULARITY IN MATHEMATICS
@@ Property / cites work: MODULARITY IN MATHEMATICS / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs without syntax
@@ Property / cites work: Proofs without syntax / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
+Normal rank
@@ Property / cites work @@
+Q5311060
@@ Property / cites work: Q5311060 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Analysis
@@ Property / cites work: Proof Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Simplicity
@@ Property / cites work: Simplicity / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for plane hyperbolic geometry revisited
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for hyperbolic geometry revisited, again
+Normal rank
@@ Property / cites work @@
+Hilbert's twenty-fourth problem
@@ Property / cites work: Hilbert's twenty-fourth problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792019
@@ Property / cites work: Q4792019 / rank @@
+Normal rank
@@ Property / cites work @@
+Experiments with proof plans for induction
@@ Property / cites work: Experiments with proof plans for induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3597502
@@ Property / cites work: Q3597502 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4562090
@@ Property / cites work: Q4562090 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5224667
@@ Property / cites work: Q5224667 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Alleged Simplicity of Impure Proof
@@ Property / cites work: On the Alleged Simplicity of Impure Proof / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical explanation: problems and prospects.
@@ Property / cites work: Mathematical explanation: problems and prospects. / rank @@
+Normal rank
@@ Property / cites work @@
+Reshaping the metaphor of proof
@@ Property / cites work: Reshaping the metaphor of proof / rank @@
+Normal rank
@@ Property / cites work @@
+Explanation in mathematical conversations: an empirical investigation
+Normal rank
@@ Property / cites work @@
+Visual thinking and simplicity of proof
@@ Property / cites work: Visual thinking and simplicity of proof / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical proof: from mathematics to school mathematics
+Normal rank
@@ Property / cites work @@
+From mathematical axioms to mathematical rules of proof: recent developments in proof analysis
+Normal rank
@@ Property / cites work @@
+The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
+Normal rank
@@ Property / cites work @@
+Proof simplification and automated theorem proving
+Normal rank
@@ Property / cites work @@
+Prolegomena to any theory of proof simplicity
@@ Property / cites work: Prolegomena to any theory of proof simplicity / rank @@
+Normal rank
@@ Property / cites work @@
+The Cantor–Bernstein theorem: how many proofs?
@@ Property / cites work: The Cantor–Bernstein theorem: how many proofs? / rank @@
+Normal rank
@@ Property / cites work @@
+Identification of proofs via syzygies
@@ Property / cites work: Identification of proofs via syzygies / rank @@
+Normal rank