×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
中国科学院数学与系统科学研究院期刊网
Electronic ISSN 1559-7067 Print ISSN 1009-6124
CN 11-4543/O1
Toggle navigation
JSSC
Home
About Journal
Editorial Board
This Editorial Board
Youth Editorial Board
Instruction
Subscription
Download
News
Contact Us
中文
A Formal Proof of the Irrationality of
ζ
(3) in Lean 4
LIU Junqi, ZHANG Jujian, ZHI Lihong
Journal of Systems Science & Complexity . 2025, (
): 0 .
