共 26 条
[11]
Halevy A.(2012)Mathematics and computer science: Coping with finiteness Not. Am. Math. Soc. 59 31-37
[12]
Norvig P.(1987)Visual basic representations: An atlas Istit. Lombardo Accad. Sci. Lett. Rend. A 121 21-27
[13]
Pereira F.(2004)A revolution in mathematics? What really happened a century ago and why it matters today J. Math. Sci. 120 1513-1548
[14]
Helfgott H. A.(2019)Generation of certain simple groups by elements of small order Philos Trans. R. Soc. A 377 1-18
[15]
Platt D. J.(1993)Do it yourself: The structure constants for Lie algebras of types E Not. Am. Math. Soc. 40 978-981
[16]
Jaffe A.(undefined)Reshaping the metaphor of proof undefined undefined undefined-undefined
[17]
Quinn F.(undefined)Theorems for a price: Tomorrow’s semi-rigorous mathematical culture undefined undefined undefined-undefined
[18]
Knuth D. E.(undefined)undefined undefined undefined undefined-undefined
[19]
Plotkin E.(undefined)undefined undefined undefined undefined-undefined
[20]
Semenov A.(undefined)undefined undefined undefined undefined-undefined