徐，林；徐志国；李文雷；史少云 一类奇摄动时滞微分方程的重正化群方法。 （英语） Zbl 1473.34029号 Commun公司。非线性科学。数字。模拟。 103，文章ID 106028，11 p.（2021）.MSC公司：34立方厘米 34米25 PDF格式BibTeX公司 XML格式引用 \textit{L.Xu}等人，Commun。非线性科学。数字。模拟。103，文章ID 106028，11 p.（2021；Zbl 1473.34029） 全文： 内政部
左正康；苏伟；梁赞阳；黄，清；王，袁；王长静 开发代数和数值算法的形式化方法。 （英语） 兹比尔1488.68141 武汉大学自然科学学院。 第2期第26页，191-199（2021）.MSC公司：68周01 2016年11月 68号30 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等，武汉理工大学。26，第2号，191--199（2021；Zbl 1488.68141） 全文： 内政部
马英英；马振伟；陈刚 基于Coq的块矩阵运算形式化。 （中文。英文摘要） Zbl 1488.68059号 J.软件。 32，第6期，1882-1909（2021）.MSC公司：68T07型 15B99型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma}等人，J.Softw。32，第6号，1882--1909（2021；Zbl 1488.68059） 全文： 内政部
石海鹏；石、海河；徐胜华 算法设计通过优化重用生成。 （英语） Zbl 1481.68048号 何坤（编辑）等，《理论计算机科学》。2020年11月13日至15日，中国南宁，NCTCS 2020第38届全国会议。修订了选定的论文。新加坡：斯普林格。Commun公司。计算。信息科学。1352, 14-32 (2021).MSC公司：68周01 68号30 68页第10页 PDF格式BibTeX公司 XML格式引用 \textit{H.Shi}等人，Commun。计算。信息科学。1352，14-32（2021；Zbl 1481.68048） 全文： 内政部
迈克尔·德特莱夫森 形式主义和希尔伯特对一致性问题的理解。 （英语） Zbl 1469.00011号 架构（architecture）。数学。逻辑 60，第5期，529-546（2021）.MSC公司：00A30型 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Detlefsen}，拱门。数学。逻辑60，No.5，529--546（2021；Zbl 1469.00011） 全文： 内政部
安德烈·波佩斯库；彼得·兰米奇；侯萍 CoCon：正式验证文件机密性的会议管理系统。 （英语） Zbl 07356975号 J.汽车。推理 65，编号321-356（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Popescu}等人，J.Autom。推理65，No.2，321--356（2021；Zbl 07356975） 全文： 内政部
纪尧姆·安巴尔；朗格莱，塞尔盖伊；阿兰·施密特 \Coq中的（\mathrm｛HO｝\pi\）。 （英语） Zbl 07356968号 J.汽车。推理 65，编号1，75-124（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Ambal}等人，J.Autom。推理65，No.1，75--124（2021；Zbl 07356968） 全文： 内政部
苏迪蒙加西 van der Pol方程截断渐近展开解精度的数值验证。 （英语） Zbl 1470.34147号 数学杂志。化学。 59，第1期，216-223（2021）.MSC公司：34E05型 34E10型 34甲12 34A34飞机 PDF格式BibTeX公司 XML格式引用 \textit{S.Mungkasi}，J.数学。化学。59，第1号，216--223（2021；Zbl 1470.34147） 全文： 内政部