共 50 条
- [2] Probabilistic Proofs, Lottery Propositions, and Mathematical Knowledge [J]. PHILOSOPHICAL QUARTERLY, 2021, 72 (01): : 77 - 89
- [3] PROBABILISTIC PROOFS, LOTTERY PROPOSITIONS, AND MATHEMATICAL KNOWLEDGE [J]. PHILOSOPHICAL QUARTERLY, 2022, 72 (01): : 77 - 89
- [5] MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs [J]. Scientific Data, 10
- [8] 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
- [9] Discovery of mathematical knowledge by reformulation of false conjectures in an proofs and refutations environment [J]. ENSENANZA DE LAS CIENCIAS, 2015, 33 (03): : 117 - 136
- [10] Rationality in Mathematical Proofs [J]. AUSTRALASIAN JOURNAL OF PHILOSOPHY, 2023, 101 (04) : 793 - 808