Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,General Mathematics
Reference7 articles.
1. K. Appel and W. Haken, Every planar map is four-colorable,Bull. Amer. Math. Soc. 82 (1976), 711–712.
2. M. W. Browne, Is a math proof a proof if no one can check it?,The New York Times (20 December 1988).
3. K. R. Foster and H. H. Bau, Symbolic manipulation programs for the personal computer,Science 243 (3 February 1989), 679–684.
4. C. W. H. Lam, The distribution of 1-width of (0,l)-matrices,Discrete Mathematics 20 (1977), 109–122.
5. C. W. H. Lam and L. H. Thiel, Backtrack search with isomorph rejection and consistency check,J. of Symbolic Computation 7 (1989), 473–485.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Philosophical Assumptions Behind the Rejection of Computer-Based Proofs;KRITERION – Journal of Philosophy;2023-04-27
2. There is no McLaughlin geometry;Journal of Combinatorial Theory, Series A;2018-04
3. Knowledge and Error;European Studies in Philosophy of Science;2017
4. History of Interactive Theorem Proving;Computational Logic;2014
5. Proof: A Many-Splendored Thing;Excursions in the History of Mathematics;2011-10-17