中国科学院数学与系统科学研究院期刊网
普林斯顿数学指南
Bryan Birch, Simon Donaldson, Gil Kalai, Richard Kenyon, Angus Macintyre
数学译林 . 2023, (3): 254 -261 .