苏腾；周宏伟；赵家伟；刘泽林；丹尼尔·迪亚斯 基于分数导数的粘弹性材料速率相关应力应变关系数值方法。 （英语） Zbl 1487.74018号 机械表演。 232，第6期，2347-2359（2021）.MSC公司：74D05型 74A20型 74系列40 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{T.Su}等人，《机械学报》。232，编号6，2347--2359（2021；兹bl 1487.74018） 全文： 内政部
宫岛、新亚 矩阵Mittag-Lefler函数的计算外壳。 （英语） Zbl 1470.65080号 科学杂志。计算。 87，第2期，第62号论文，22页（2021年）.MSC公司：65层60 15甲16 65G20个 26A33飞机 33E12号机组 33F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Miyajima}，J.科学。计算。87，第2号，第62号论文，22页（2021年；Zbl 1470.65080） 全文： 内政部
朱利安·迪米特洛夫 相对非对称近距离空间的性质及其应用。 （英语） Zbl 1513.54096号 罗马J。 15，第2期，第27-41页（2019年）.MSC公司：54E35个 26号B12 54E25型 54E70型 2012年第49季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Dimitrov}，罗马J.15，第2期，27-41（2019年；Zbl 1513.54096）
安东尼·约瑟夫·纳卡维奇；塞萨尔·穆尼奥斯；亚伦·杜特尔 基于根计数和区间细分的一元多项式系统的决策过程。 （英语） Zbl 1451.68326号 J.福尔马利兹。原因。 11, 19-41 (2018).MSC公司：68伏15 26立方厘米 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Narkawicz}等人，J.Formaliz。原因。11、19-41（2018；Zbl 1451.68326） 全文： 内政部
贾恩，K.C。；克哈布拉、普拉普勒 增加函数的新广义散度度量。 （英语） 兹比尔1403.94037 国际信息编码理论 3，第3号，197-216（2016）.MSC公司：94甲17 第26天15 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Jain}和\textit{P.Chhabra}，《国际编码理论》3，第3期，197-216（2016；Zbl 1403.94037） 全文： 内政部
贾恩，K.C。；克哈布拉、普拉普勒 新指数信息散度测度的应用。 （英语） Zbl 1346.94069号 最苍白。数学杂志。 5，第249-257号（2016）.MSC公司：94甲17 94D05型 第26天15 PDF格式BibTeX公司 XML格式引用 \textit{K.C.Jain}和\textit{P.Chhabra}，苍白。数学杂志。5，第2号，249--257（2016；Zbl 1346.94069） 全文： 链接
邓永平；吴善和；何邓 哈代不等式的锐化版本和自动验证程序。 （中文。英文摘要） Zbl 1349.26044号 数学。实际。理论 45，第4期，276-288（2015）.MSC公司：第26天15 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人，数学。实际。理论45，第4期，276--288（2015；Zbl 1349.26044）
迈克尔·埃瑟曼 代数的基本定理很有效：通过Sturm链的初等实代数证明。 （英语） Zbl 1267.26016号 美国数学。周一。 119，第9期，715-752（2012）.MSC公司：26立方厘米 30立方厘米 65小时04 65G20个 97I20型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Eisermann｝，美国数学。周一。119，编号9，715--752（2012；Zbl 1267.26016） 全文： 内政部 arXiv公司
斯佩雷克，P。；日本塔博。 近似中凸函数条件的数值验证。 （英语） Zbl 1250.26012号 Aequationes数学。 83，第3期，223-237（2012）. 审核人：Krzysztof Cieplinñski（克拉科夫） MSC公司：26页51 39B62码 65克40 PDF格式BibTeX公司 XML格式引用 \textit{P.Sprek}和\textit{Ja.Tabor}，Aequationes数学。83、第3号、223--237（2012；Zbl 1250.26012） 全文： 内政部
沃里克·塔克 验证的数字。关于严格计算的简短介绍。 （英语） Zbl 1231.65077号 新泽西州普林斯顿：普林斯顿大学出版社（ISBN 978-0-691-14781-9/hbk；978-1-400-83897-4/电子书）。xii，138页。(2011). 审核人：Günter Mayer（罗斯托克） MSC公司：65G20个 65G30型 65克40 65-02 第26页第25页 PDF格式BibTeX公司 XML格式引用 \textit{W.Tucker}，验证数字。严格计算的简短介绍。新泽西州普林斯顿：普林斯顿大学出版社（2011；Zbl 1231.65077）
南卡罗来纳州切维拉德。；J·哈里森。；乔尔德斯，M。；Lauter，Ch.（中国）。 高效准确地计算近似误差的上界。 （英语） 兹比尔1211.65025 西奥。计算。科学。 412，第16号，1523-1543（2011）.MSC公司：65D20个 26A09号 33B10号机组 65G20个 33F05型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chevillard}等人，Theor。计算。科学。412，第16号，1523-1543（2011；Zbl 1211.65025） 全文： 内政部 链接
贾、高 拉格朗日定理的初等证明和平均值的计算方法。 （英语） Zbl 1194.26003号 远东数学杂志。教育。 3，第1期，93-98（2009）.MSC公司：26A24年 28甲15 26A27年 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{G.Jia}，远东数学杂志。教育。3，编号1，93--98（2009；Zbl 1194.26003） 全文： 链接
巴特勒、瑞奇·韦恩 PVS定理证明器中积分的形式化。 （英语） Zbl 1175.68410号 J.福尔马利兹。原因。 2，第1期，1-26页（2009年）.MSC公司：68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Butler}，J.Formaliz。原因。2，第1号，1--26（2009；Zbl 1175.68410） 全文： 链接
曾建成 可变和自适应分数阶FIR微分器的设计。 （英语） Zbl 1172.94495号 信号处理。 86，第10号，2554-2566（2006）.MSC公司：94甲12 26A33飞机 93E11号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Tseng}，信号处理。86，第10号，2554--2566（2006；Zbl 1172.94495） 全文： 内政部
乔里斯·范德霍温 使用有效实数进行计算。 （英语） Zbl 1086.65045号 西奥。计算。科学。 351，第1期，52-60（2006）.MSC公司：65G20个 65克40 26E40型 2005年第68季度 68周25 PDF格式BibTeX公司 XML格式引用 \文本{J.van der Hoeven}，Theor。计算。科学。351，编号1，52--60（2006；Zbl 1086.65045） 全文： 内政部
米里奇，ö特凡 最优控制中的构造性动态规划。自治问题。 （英语） Zbl 1052.49026号 Bucureşti：罗马学院编辑（ISBN 973-27-1068-3/pbk）。xi，第413页。(2004). 审核人：Lars Grüne（拜罗伊特） MSC公司：49升20 49公里15 49号35 49J24型 49J52型 49升25 34A60型 26A27年 第26页第25页 PDF格式BibTeX公司 XML格式引用 \textit{ö.Miric}，最优控制中的构造性动态规划。自主性问题。布库雷什蒂：罗马伊迪图拉学院（Editura Academiei Románe）（2004；Zbl 1052.49026）
耶莱娜·内迪奇 关于带Weierstrass修正的Börsch-Supan方法的收敛性。 （英语） Zbl 1011.65022号 诺维·萨德J.数学。 31，第1期，第103-111页（2001年）. 审核人：Miodrag Petković（尼什） MSC公司：65小时05 2005年12月 65G20个 26立方厘米 30立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Nedić}，Novi Sad J.Math。31，No.1，103--111（2001；Zbl 1011.65022） 全文： 欧洲DML
Kjurkchiev，N.V.公司。；安德列夫，A.S。 欧利希代数方程求解方法的双面高斯-赛德尔推广。 （英语） 兹比尔083965063 Atanassova，Lidiya（编辑）等人，《计算机算法和封闭方法》。第三届国际IMACS-GAMM计算机算术与科学计算研讨会（SCAN-91）会议记录，德国奥尔登堡，1991年10月1日至4日。阿姆斯特丹：荷兰北部。463-468 (1992).MSC公司：65小时05 65G30型 2005年12月 26立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{N.V.Kjurkchiev}和\textit{A.S.Andreev}，in：计算机算法和封闭方法。第三届国际IMACS-GAMM计算机算术与科学计算研讨会（SCAN-91）会议记录，德国奥尔登堡，1991年10月1日至4日。阿姆斯特丹：荷兰北部。463——468（1992年；Zbl 0839.65063）
北卡罗来纳州迪米特洛娃。；马尔可夫，S.M。 同时计算所有多项式零点的区间算法。 （英语） Zbl 0784.65042号 Christian Ullrich（编辑），《计算机算术和自验证数值方法的贡献》。1989年10月2日至6日在瑞士巴塞尔大学举行的第一届国际会议的论文。巴塞尔：J.C.Baltzer AG，IMACS Ann.Compute。申请。数学。7, 183-195 (1990).MSC公司：65小时05 65G30型 26立方厘米 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{N.Dimitrova}和\textit{S.M.Markov}，IMACS Ann.Compute。申请。数学。7、183--195（1990年；Zbl 0784.65042）
维克托·米泽尔。 确定性和随机优化问题中的Lavrentiev现象。 （英语） Zbl 0648.49002号 变分法中的积分泛函。国际研讨会，的里雅斯特/意大利，1985年，补遗。循环。马特·巴勒莫，II。序列号。15, 111-130 (1987). 审核人：P.洛文 MSC公司：49J05型 49J30型 49J55型 第26页第16页 26A46号 49升99 93E20型 PDF格式BibTeX公司 XML格式
Frank H.克拉克。 汉密尔顿·雅各比验证技术的适用性。 （英语） Zbl 0483.49014号 系统建模与优化。第十届IFIP Conf.，1981年，纽约，Lect。注释控制。信息科学。38, 88-94 (1982).MSC公司：49升99 49升20 26B05号 26层35 PDF格式BibTeX公司 XML格式
Jean-Pierre，Crouzeix；雅克·费兰德。 拟凸性和拟凸性的标准：关系和比较。 （英语） Zbl 0479.90067号 数学。程序。 23, 193-205 (1982).MSC公司：90C25型 26对25 PDF格式BibTeX公司 XML格式引用 \textit{J.-P.Crouzeix}和\textit{J.A.Ferland}，数学。程序。23193-205（1982；Zbl 0479.90067） 全文： 内政部