×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
中国计算机学会会刊
中国科技核心期刊
中文核心期刊
Home
Journal honors
Guide
Instructions for Authors
Layout standards
Submission Template
Review process
frequently asked questions
Open access
Submission
Publishing ethics
Subscription
Download
Contact us
中文
Formal verification of Stokes’ theorem and its applications
LIU Yongmei1, 2, WANG Guohui1, GUAN Yong2, ZHANG Jingzhi2, SHI Zhiping1, 2, DONG Lu1
Computer Engineering & Science . 2025, (
6
): 1050 -1061 .
