共 50 条
- [42] Proof and Problem Solving at University Level [J]. MATHEMATICS ENTHUSIAST, 2013, 10 (1-2): : 303 - 333
- [43] THE PROBLEM OF PRIOR PROBABILITIES IN FORENSIC PROOF [J]. RATIO-NEW SERIES, 1982, 24 (01): : 71 - 76
- [45] A short proof for the open quadrant problem [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2017, 79 : 57 - 64
- [46] THE INSOLUBILITY PROOF OF THE QUANTUM MEASUREMENT PROBLEM [J]. FOUNDATIONS OF PHYSICS, 1986, 16 (09) : 857 - 870
- [47] An elementary proof of the generalised Fermat problem [J]. MATHEMATICAL GAZETTE, 2008, 92 (523): : 141 - +
- [49] A Pure Mathematical Proof of the Four Color Problem [J]. WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, WCECS 2011, VOL I, 2011, : 133 - 134
- [50] NEW UNDECIDABILITY PROOF FOR HILBERTS TENTH PROBLEM [J]. JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (01) : 201 - 202