Author:
Zeilberger Doron,Andrews George E.
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,General Mathematics
Reference10 articles.
1. A. Jaffe and F. Quinn,“Theoretical mathematics”: Toward a cultural synthesis of mathematics and theoretical physics, Bull. Amer. Math. Soc. (N.S.)29 (1993), 1–13.
2. S.B. Ekhad,A very short proof of Dixon’s theorem, J. Combin. Theory Ser. A54 (1990), 141–142.
3. S. B. Ekhad and S. Tre,A purely verification proof of the first Rogers-Ramanujan identity, J. Combin. Theory Ser. A54 (1990), 309–311.
4. B. Cipra,Theoretical computer scientists develop transparent proof techniques, SIAM News 25 (May 1992).
5. S. Arora, C. Lund, R. Motwani, M. Sudan, and M. Szegedy,Proof verification and intractability of approximation problems, Proc. 33rd Symp. on Foundations of Computer Science (FOCS), IEEE Computer Science Press, Los Alamos, 1992, pp. 14–23.
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proofs for a price: Tomorrow’s ultra-rigorous mathematical culture;Bulletin of the American Mathematical Society;2024-05-15
2. Experimental Mathematics in Mathematical Practice;Handbook of the History and Philosophy of Mathematical Practice;2024
3. The Role of Experiments in Experimental Mathematics;Handbook of the History and Philosophy of Mathematical Practice;2024
4. The Skies Are Falling: Mathematics for Non-Mathematicians;Doklady Mathematics;2023-07
5. THE SKIES ARE FALLING: MATHEMATICS FOR NON-MATHEMATICIANS;Доклады Российской академии наук. Математика, информатика, процессы управления;2023-05-01