关勇;张敬之;王国辉;李锡盟;史志平;李永东 基于HOL光变分法的欧拉-拉格朗日方程组的形式化。 (英语) Zbl 07356966号 J.汽车。推理 65,编号1,1-29(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Guan}等人,J.Autom。推理65,No.1,1-29(2021;Zbl 07356966) 全文: DOI程序
李、李明;史志平;关勇;张倩莹;李永东 HOL Light中几何代数的形式化。 (英语) Zbl 1468.68329号 J.汽车。推理 63,第3期,787-808(2019).MSC公司:68V20型 15A66型 PDF格式BibTeX公司 XML格式引用 \textit{L.-M.Li}等人,J.Autom。推理63,第3期,787-808(2019;兹bl 1468.68329) 全文: DOI程序