斯托克斯定理的形式化及其初步应用

刘永梅1, 2, 王国辉1, 关永2, 张景芝2, 施智平1, 2, 董璐1

Formal verification of Stokes’ theorem and its applications

LIU Yongmei1, 2, WANG Guohui1, GUAN Yong2, ZHANG Jingzhi2, SHI Zhiping1, 2, DONG Lu1

计算机工程与科学 . 2025, (6): 1050 -1061 .