共 50 条
- [1] Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge [J]. PHILOSOPHICAL QUARTERLY, 2021, 72 (01): : 77 - 89
- [2] Proofs as Bearers of Mathematical Knowledge [J]. EXPLANATION AND PROOF IN MATHEMATICS: PHILOSOPHICAL AND EDUCATIONAL PERSPECTIVES, 2010, : 85 - +
- [5] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs [J]. Scientific Data, 10
- [7] Proofs of Propositions 5.1, 5.3 and 5.4 [J]. INVARIANT MEASURES FOR STOCHASTIC NONLINEAR SCHRODINGER EQUATIONS: NUMERICAL APPROXIMATIONS AND SYMPLECTIC STRUCTURES, 2019, 2251 : 195 - 207
- [10] Mathematical Proofs in Practice: Revisiting the reliability of published mathematical proofs [J]. THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA, 2014, 29 (03): : 345 - 360