The surveyability of long proofs (Q2271073): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Every planar map is four colorable. II: Reducibility / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4315105 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The surveyability of mathematical proof: A historical perspective / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quadratic Reciprocity in a Finite Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3669333 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How to Write a Proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: What is good mathematics? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4376878 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular elliptic curves and Fermat's Last Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3240229 / rank | |||
Normal rank |
Latest revision as of 20:19, 1 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The surveyability of long proofs |
scientific article |
Statements
The surveyability of long proofs (English)
0 references
6 August 2009
0 references
mathematical practice
0 references
mathematical proof
0 references
surveyability
0 references
written discourse
0 references