Aurélien的点心;亚历山德鲁·约西夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;哈米德·拉科伊;塞伊，马提亚斯;托马斯·斯特姆 多项式守恒定律的计算方法。 （英语） Zbl 07837870号 SIAM J.应用。动态。系统。 第1期第23页，编号：813-854（2024）.MSC公司：34C60个 92C45型 34A05型 34立方厘米 13页第10页 34-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Desoeuvres}等人，SIAM J.Appl。动态。系统。23，编号1，813--854（2024；Zbl 07837870） 全文： 内政部 arXiv公司
Aurélien的点心;亚历山德鲁·约西夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;哈米德·拉科伊;塞伊，马提亚斯;托马斯·斯特姆 用近似守恒定律简化化学反应网络。 （英语） Zbl 1533.34039号 SIAM J.应用。动态。系统。 23，第1期，256-296（2024）.MSC公司：34C60个 92C45型 92B20型 34E15号机组 34E13号机组 34C20美元 PDF格式BibTeX公司 XML格式引用 \textit{A.Desoeuvres}等人，SIAM J.Appl。动态。系统。23，第1号，256--296（2024；Zbl 1533.34039） 全文： 内政部 arXiv公司
哈米德·拉科伊;托马斯·斯特姆 使用综合Gröbner系统测试化学反应网络的二元性。 （英语） Zbl 1499.13076号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。2021年9月13日至17日，俄罗斯索契，CASC 2021第23届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12865, 334-352 (2021). 审核人：阿米尔·哈希米（伊斯法罕） MSC公司：13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Rahkooy}和\textit{T.Sturm}，莱克特。注释计算。科学。12865、334--352（2021；Zbl 1499.13076） 全文： 内政部 arXiv公司
哈米德·拉科伊;托马斯·斯特姆 反应网络稳态变量的参数复性。 （英语） Zbl 07497962号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。2021年9月13日至17日，俄罗斯索契，CASC 2021第23届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12865, 314-333 (2021).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Rahkooy}和\textit{T.Sturm}，莱克特。注释计算。科学。12865、314--333（2021；Zbl 07497962） 全文： 内政部 arXiv公司
尼克拉斯·克鲁夫;克里斯托夫·吕德斯;奥维迪乌·拉杜列斯库;托马斯·斯特姆;塞巴斯蒂安·沃尔彻 多时间尺度生物网络的算法约简。 （英语） 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许可证
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许可证
马丁·布罗姆伯格;托马斯·斯特姆;克里斯托夫·韦登巴赫 线性整数求解的一种完整且终止的方法。 （英语） Zbl 1432.68597号 J.塞姆。计算。 100, 102-136 (2020).MSC公司：68瓦30 60年第68季度 68兰特 第68卷第15页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Bromberger}等人，J.Symb。计算。100102-136（2020年；Zbl 1432.68597） 全文： 内政部 哈尔
詹姆斯·H·达文波特。（编辑）;英格兰，马修（编辑）;阿尔贝托·格里乔（编辑）;托马斯·斯特姆（编辑）;塞萨尔·蒂内利（编辑） 编辑：符号计算和可满足性检查。 （英语） Zbl 1444.68006号 J.塞姆。计算。 100, 1-10 (2020).MSC公司：68-06 68兰特 68T20型 68瓦30 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Davenport}（编辑）等，J.Symb。计算。100,1-10（2020年；Zbl 1444.68006） 全文： 内政部
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯 识别某些生物网络的多个稳态的参数发生。 （英语） Zbl 1442.92056号 J.塞姆。计算。 98, 84-119 (2020). 审核人：阿米尔·哈希米（伊斯法罕） MSC公司：92立方厘米 68瓦30 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人，J.Symb。计算。98，84-119（2020；Zbl 1442.92056） 全文： 内政部 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） 全文： 内政部 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） 全文： 内政部 arXiv公司
哈桑·埃拉米;马库斯·艾斯沃思;迪马·格里戈里耶夫;Werner M.塞勒。;托马斯·斯特姆;安德烈亚斯·韦伯 使用凸坐标检测化学反应网络中的Hopf分支。 （英语） Zbl 1349.92168号 J.计算。物理学。 291, 279-302 (2015).MSC公司：92E20型 34C23型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Errami｝等人，J.Comput。物理学。291279--302（2015；Zbl 1349.92168） 全文： 内政部 OA许可证
安德烈亚斯·韦伯;托马斯·斯特姆;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） 全文： 内政部
安德烈亚斯·韦伯;托马斯·斯特姆;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） 全文： 内政部
诺恩、温弗里德;托马斯·斯特姆;斯特凡·维格尔斯克 通过通用符号凸性测试支持有理函数的全局数值优化。 （英语） 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） 全文： 内政部
亚历山·拉萨鲁克;托马斯·斯特姆 具有无穷大的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） 全文： 内政部
托马斯·斯特姆;安德烈亚斯·韦伯 研究解决代数生物学中Hopf分支问题的通用方法。 （英语） Zbl 1171.92301号 Horimoto，Katsuhisa（编辑）等人，代数生物学。2008年7月31日至8月2日，第三届国际会议，AB 2008，奥地利哈根堡城堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85100-4/pbk）。计算机科学课堂讲稿5147200-215（2008）。MSC公司：92-08 37米20 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{T.Sturm}和\textit{A.Weber}，莱克特。注释计算。科学。5147200-215（2008年；Zbl 1171.92301） 全文： 内政部