朱文文;牟、陈琪 利用变量稀疏性通过三角分解计算生物动力系统的平衡。 (英语) Zbl 1480.92088号 Martín-Vide,Carlos(编辑)等人,《计算生物学算法》。第八届国际会议,2021年6月7日至11日,美国密苏里州密苏拉AlCoB 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12715, 29-41 (2021).MSC公司:92立方厘米 05摄氏90度 34C60个 PDF格式BibTeX公司 XML格式引用 \textit{W.Ju}和\textit{C.Mou},Lect。注释计算。科学。12715,29-41(2021;Zbl 1480.92088) 全文: DOI程序
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) Zbl 1484.13058号 数学。计算。科学。 15,第3期,499-534(2021). 审核人:哈米德·拉库伊(萨尔布吕肯) MSC公司:13页第10页 68瓦30 34E15号机组 第37页第10页 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{N.Kruff}等人,数学。计算。科学。15,编号3,499--534(2021;Zbl 1484.13058) 全文: DOI程序 arXiv公司 OA许可证
Werner M.塞勒。;塞伊,马提亚斯;托马斯·斯特姆 一种基于逻辑的方法来发现隐式常微分方程的实奇点。 (英语) Zbl 1500.34015号 数学。计算。科学。 15,编号2,333-352(2021).MSC公司:2009年4月34日 34A26型 34二氧化碳 2005年12月 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Seiler}等人,《数学》。计算。科学。15,第2号,333--352(2021;Zbl 1500.34015) 全文: DOI程序 arXiv公司 OA许可证
潘提亚,C。;罗曼诺夫斯基(V.G.Romanovski)。 一些生化模型的定性研究。 (英语。俄文原件) Zbl 1461.76541号 维斯特。圣彼得堡大学数学。 53,第2期,214-222(2020); 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。7(65),第2期,319-330(2020)。MSC公司:76版本05 76M99型 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pantea}和\textit{V.G.Romanovski},Vestn。圣彼得堡大学数学。53,No.2,214--222(2020;Zbl 1461.76541);由Vestn翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。7(65),编号2,319--330(2020) 全文: DOI程序
王晓丽;石俊平;张国宏 野生无菌蚊子模型的分叉分析。 (英语) Zbl 1497.92217号 数学。Biosci公司。工程师。 16,第5号,3215-3234(2019).MSC公司:92D25型 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{X.Wang}等人,数学。Biosci公司。工程16,编号5,3215--3234(2019;Zbl 1497.92217) 全文: DOI程序 OA许可证
李永军;瓦莱里·罗曼诺夫斯基。 杂食性捕食者-食饵模型中的Hopf分支。 (英语) Zbl 1431.34065号 资格。理论动力学。系统。 18,第3期,1201-1224(2019).MSC公司:34C60个 34C23型 37国集团15 92D25型 34立方厘米 34二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}和\textit{V.G.Romanovski},Qual。理论动力学。系统。18,第3号,1201--1224(2019;Zbl 1431.34065) 全文: DOI程序
夏永辉;格拉西奇,马蒂亚;黄文涛;瓦莱里·罗曼诺夫斯基。 嗅觉感觉神经元模型中的极限环。 (英语) Zbl 1414.34041号 国际分叉混沌应用杂志。科学。工程师。 29,第3号,文章ID 1950038,第9页(2019年).MSC公司:34C60个 92C30型 34二氧化碳 34C23型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Y.Xia}等人,国际分叉混沌应用。科学。Eng.29,No.3,文章ID 195038,9 p.(2019;Zbl 1414.34041) 全文: DOI程序 arXiv公司
托马斯·斯特姆 综述了实量词消除、判定和可满足性的一些方法及其应用。 (英语) Zbl 1425.68380号 数学。计算。科学。 11,编号3-4,483-502(2017).MSC公司:68吨15 03B35型 03C10号机组 14第05页 68瓦30 92立方37 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm},数学。计算。科学。11、编号3--4、483--502(2017;Zbl 1425.68380) 全文: DOI程序 OA许可证
马雷克·科什塔;托马斯·斯特姆;安德烈亚斯·多尔兹曼 更好地回答真实问题。 (英语) Zbl 1346.68290号 J.塞姆。计算。 74, 255-275 (2016).MSC公司:68瓦30 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Košta}等人,J.Symb。计算。74255-275(2016年;Zbl 1346.68290) 全文: DOI程序 arXiv公司
哈桑·埃拉米;马库斯·艾斯沃思;迪马·格里戈里耶夫;Werner M.塞勒。;托马斯·斯特姆;安德烈亚斯·韦伯 使用凸坐标检测化学反应网络中的Hopf分支。 (英语) Zbl 1349.92168号 J.计算。物理学。 291, 279-302 (2015).MSC公司:92E20型 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{H.Errami}等人,J.Comput。物理学。291279--302(2015;Zbl 1349.92168) 全文: DOI程序 OA许可证
Hoon Hong;唐晓仙;夏碧灿 用于多稳态生物调节系统稳定性分析的特殊算法。 (英语) Zbl 1328.92028号 J.塞姆。计算。 70, 112-135 (2015).MSC公司:92立方厘米 34D20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Hong}等人,J.Symb。计算。70112-135(2015年;Zbl 1328.92028) 全文: DOI程序 arXiv公司
刘伟;陈玉仙;廖秋根 Ivlev型生物经济系统的定性分析。 (英语) Zbl 1295.92024号 J.应用。数学。计算。 46,第1-2号,373-393(2014).MSC公司:92D25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Liu}等人,J.应用。数学。计算。46,编号1-2373-393(2014年;兹bl 1295.92024) 全文: DOI程序
她,志坤;李浩阳;薛、白;郑志明;夏碧灿 发现连续动力系统的多项式Lyapunov函数。 (英语) Zbl 1338.37025号 J.塞姆。计算。 58, 41-63 (2013).MSC公司:37B25型 37C75号 PDF格式BibTeX公司 XML格式引用 \textit{Z.She}等人,J.Symb。计算。58、41-63(2013年;Zbl 1338.37025) 全文: DOI程序
牛,魏;王东明 自组装胶束系统稳定性和分岔的代数分析。 (英语) Zbl 1297.34066号 申请。数学。计算。 219,第1期,108-121(2012).MSC公司:34C60个 92C30型 34二氧化碳 34D20型 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{W.Niu}和\textit{D.Wang},应用。数学。计算。219,第1号,第108-121条(2012;Zbl 1297.34066) 全文: DOI程序
哈桑·埃拉米;Werner M.塞勒。;马库斯·艾斯沃思;安德烈亚斯·韦伯 使用反应坐标计算化学反应网络中的Hopf分支。 (英语) Zbl 1373.92153号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2012年9月3日至6日在斯洛文尼亚马里博尔举行的2012年中国科学院第14届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32972-2/pbk)。计算机科学课堂讲稿7442,84-97(2012)。MSC公司:92E20型 68瓦30 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{H.Errami}等人,Lect。注释计算。科学。7442,84-97(2012;Zbl 1373.92153) 全文: DOI程序
李晓亮;牟、陈琪;牛,魏;王东明 使用代数方法对离散生物模型进行稳定性分析。 (英语) Zbl 1270.92023号 数学。计算。科学。 5,第3期,247-262(2011).MSC公司:92立方厘米 92B05型 92-08 37N25号 PDF格式BibTeX公司 XML格式引用 \textit{X.Li}等人,《数学》。计算。科学。5,第3号,247--262(2011;Zbl 1270.92023) 全文: DOI程序
安德烈亚斯·韦伯;托马斯·斯特姆;Abdel-Rahman,Essam O。 用于排除振荡的算法全局标准。 (英语) Zbl 1214.92002号 牛市。数学。生物。 73,第4期,899-916(2011).MSC公司:92B05型 34个C99 37N25号 92C45型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人,公牛。数学。生物学73,第4期,899--916(2011;Zbl 1214.92002) 全文: DOI程序
安德烈亚斯·韦伯;托马斯·斯特姆;Werner M.塞勒。;Abdel-Rahman,Essam O。 常微分方程的参数定性分析:排除振荡的计算机代数方法(扩展摘要,邀请演讲)。 (英语) Zbl 1290.68140号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。计算机科学课堂讲稿6244267-279(2010)。MSC公司:68瓦30 34C07(二氧化碳) 34立方厘米 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人,Lect。注释计算。科学。6244、267--279(2010年;Zbl 1290.68140) 全文: DOI程序
诺恩、温弗里德;托马斯·斯特姆;斯特凡·维格尔斯克 通过通用符号凸性测试支持有理函数的全局数值优化。 (英语) Zbl 1290.65053号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。计算机科学课堂讲稿6244205-219(2010)。MSC公司:65K10码 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.Neun}等人,Lect。注释计算。科学。6244205-219(2010年;Zbl 1290.65053) 全文: DOI程序
亚历山·拉萨鲁克;托马斯·斯特姆 具有无穷大的Presburger算法的有效量词消除。 (英语) Zbl 1260.68482号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2009年9月13日至17日,在日本神户举行的2009年中国社会科学院第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04102-0/pbk)。计算机科学课堂讲稿5743195-212(2009)。MSC公司:68瓦30 03C10号机组 30楼03号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lasaruk}和\textit{T.Sturm},莱克特。注释计算。科学。5743、195--212(2009年;Zbl 1260.68482) 全文: DOI程序