英格兰,马修(编辑);弗朗索瓦·布利埃(编辑);帖木儿·萨迪科夫(编辑);托马斯·斯特姆(编辑) 前言。 (英语) Zbl 1522.68026号 数学。计算。科学。 17,第3-4期,第22号论文,第2页(2023年).MSC公司:68-06 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}(编辑)等人,《数学》。计算。科学。17,第3-4号,第22号论文,第2页(2023;Zbl 1522.68026) 全文: 内政部
英格兰,马修(编辑);弗朗索瓦·布利埃(编辑);帖木儿·萨迪科夫(编辑);托马斯·斯特姆(编辑) 前言。 (英语) Zbl 07646552号 数学。计算。科学。 16,第2-3号,第16号论文,第2页(2022年).MSC公司:00亿Bxx PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}(编辑)等人,《数学》。计算。科学。16,第2--3号,第16号论文,第2页(2022;Zbl 07646552) 全文: 内政部
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 (英语) 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) 全文: 内政部 arXiv公司 OA许可证
英格兰,马修(编辑);弗朗索瓦·布利埃(编辑);帖木儿·萨迪科夫(编辑);托马斯·斯特姆(编辑) 前言,献给弗拉基米尔·格特。 (英语) Zbl 1475.00097号 数学。计算。科学。 15,第3号,369-371(2021).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}(编辑)等人,《数学》。计算。科学。15,编号3,369--371(2021;Zbl 1475.00097) 全文: 内政部
Werner M.塞勒。;塞伊,马提亚斯;托马斯·斯特姆 一种基于逻辑的方法来发现隐式常微分方程的实奇点。 (英语) Zbl 1500.34015号 数学。计算。科学。 15,编号2,333-352(2021).MSC公司:34A09号 34A26型 34二氧化碳 2005年12月 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Seiler}等人,《数学》。计算。科学。15,第2号,333--352(2021;Zbl 1500.34015) 全文: 内政部 arXiv公司 OA许可证
迪马·格里戈里耶夫;亚历山德鲁·约西夫;哈米德·拉科伊;托马斯·斯特姆;安德烈亚斯·韦伯 高效、有效地识别稳态品种的复性。 (英语) Zbl 1495.14095号 数学。计算。科学。 15,第2期,199-232(2021). 审核人:蒂莫西·达夫(西雅图) MSC公司:2014年第20季度 13页第10页 14米25 14第05页 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Grigoriev}等人,《数学》。计算。科学。15,第2号,199--232(2021;Zbl 1495.14095) 全文: 内政部 arXiv公司 OA许可证
英格兰,马修(编辑);沃尔夫拉姆·科普夫(编辑);帖木儿·萨迪科夫(编辑);Werner M.塞勒。(编辑);托马斯·斯特姆(编辑) 引言,献给安德烈亚斯·韦伯。 (英语) Zbl 1530.00037号 数学。计算。科学。 第2期第15页,173-175页(2021年).MSC公司:00B25型 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.英格兰}(编辑)等人,《数学》。计算。科学。15,编号2,173--175(2021;Zbl 1530.00037) 全文: 内政部
托马斯·斯特姆 综述了实量词消除、判定和可满足性的一些方法及其应用。 (英语) 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) 全文: 内政部 OA许可证
帕斯卡·方丹(编辑);托马斯·斯特姆(编辑);乌韦·沃尔德曼(编辑) 前言特别关注约束和组合。 (英语) Zbl 1323.00077号 数学。计算。科学。 9,第3期,265-265(2015).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{P.Fontaine}(编辑)等,《数学》。计算。科学。9,第3号,265--265(2015;Zbl 1323.00077) 全文: 内政部
斯特凡·拉特肖恩(编辑);托马斯·斯特姆(编辑) 特刊:2011年10月19日至21日,中国北京,第四届计算机和信息科学数学方面国际会议(MACIS 2011)论文集。 (英语) Zbl 1275.68029号 数学。计算。科学。6,第4期,345-497(2012)。 MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
托马斯·斯特姆;安德烈亚斯·韦伯;Abdel-Rahman,Essam O。;穆罕默德·卡胡伊 研究代数和逻辑算法以解决代数生物学中的Hopf分支问题。 (英语) Zbl 1205.37062号 数学。计算。科学。 2,第3期,493-515(2009年).MSC公司:37G10型 92C45型 34-04 03C10号机组 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm}等人,数学。计算。科学。2,第3号,493--515(2009;Zbl 1205.37062) 全文: 内政部