×

找到20个文档(结果1–20)

利用变量稀疏性通过三角分解计算生物动力系统的平衡。 (英语) Zbl 1480.92088号

Martín-Vide,Carlos(编辑)等人,《计算生物学算法》。第八届国际会议,2021年6月7日至11日,美国密苏里州密苏拉AlCoB 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12715, 29-41 (2021).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

一些生化模型的定性研究。 (英语。俄文原件) Zbl 1461.76541号

维斯特。圣彼得堡大学数学。 53,第2期,214-222(2020); 维斯特翻译。圣彼得堡大学。一、 马特·梅赫。阿童木。7(65),第2期,319-330(2020)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

使用反应坐标计算化学反应网络中的Hopf分支。 (英语) Zbl 1373.92153号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2012年9月3日至6日在斯洛文尼亚马里博尔举行的2012年中国科学院第14届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32972-2/pbk)。计算机科学课堂讲稿7442,84-97(2012)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

常微分方程的参数定性分析:排除振荡的计算机代数方法(扩展摘要,邀请演讲)。 (英语) Zbl 1290.68140号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2010年9月6日至12日,第十二届国际研讨会,中国社会科学院2010年,亚美尼亚察赫卡佐。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15273-3/pbk)。计算机科学课堂讲稿6244267-279(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 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格式引用
全文: DOI程序

具有无穷大的Presburger算法的有效量词消除。 (英语) Zbl 1260.68482号

Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2009年9月13日至17日,在日本神户举行的2009年中国社会科学院第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04102-0/pbk)。计算机科学课堂讲稿5743195-212(2009)。
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

全部的 前5名

出版年份