×

找到21个文档（结果1–21）

最新的 引文 关联
Eléa Thibault Greugny;弗朗索瓦·法赫斯;奥维迪乌·拉杜列斯库;彼得·斯莫利安;乔治·N·斯塔马塔斯。

具有AMP相互作用的皮肤微生物组模型以及种群动力学中的准静态与稳定性分析。 （英语） Zbl 07784208号

西奥。计算。科学。 983，文章ID 114294，19 p.（2024）.
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{E.T.Greugny}等人，Theor。计算。科学。983，文章ID 114294，19 p.（2024；Zbl 07784208）
全文： DOI程序 arXiv公司
乔纳森·霍恩斯坦。;劳拉·马图塞维奇;克里斯·彼得森;萨曼莎·谢尔曼。

二项式测试和通过见证集计算稀疏多项式。 （英语） Zbl 1498.14152号

越南J.数学。 50，编号3，653-678（2022）.
审核人：胡安·拉斐尔·森德拉（阿尔卡莱德·赫纳雷斯）
MSC公司：2016年第14季度 65H14型 68瓦30 14T10段
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Hauenstein}等人，《越南数学杂志》。50，编号3，653--678（2022；Zbl 1498.14152）
全文： DOI程序
哈米德·拉科伊;托马斯·斯特姆

使用综合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）
全文： DOI程序 arXiv公司
哈米德·拉科伊;托马斯·斯特姆

反应网络稳态变量的参数复性。 （英语） 兹比尔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}，莱克特。注释计算。科学。12865314-333（2021年；兹bl 07497962）
全文： DOI程序 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）
全文： DOI程序 arXiv公司
OA许可证
艾丽卡·阿尔布拉汉姆;詹姆斯·H·达文波特。;英格兰，马修;基里恩·克莱默

使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 （英语） Zbl 1509.68243号

J.日志。代数。方法计划。 119，文章ID 100633，33 p.（2021）.
MSC公司：68T20型 68伏15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，J.Log。代数。方法计划。119，文章ID 100633，33 p.（2021；Zbl 1509.68243）
全文： DOI程序 arXiv公司
OA许可证
多里安·弗洛雷斯库;英格兰，马修

一种基于机器学习的软件管道，用于选择多项式输入算法的变量顺序。 （英语） Zbl 1503.68311号

Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12097, 302-311 (2020).
MSC公司：68瓦30 2014年第30季度 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{D.Florescu}和\textit{M.英格兰}，莱克特。注释计算。科学。12097、302-311（2020年；Zbl 1503.68311）
全文： DOI程序 arXiv公司
多里安·弗洛雷斯库;英格兰，马修

改进了分类器的交叉验证，分类器可以进行算法选择，从而在不影响输出正确性的情况下最小化运行时。 （英语） Zbl 07441081号

Daniel Slamanig（编辑）等人，《计算机和信息科学的数学方面》。2019年11月13日至15日，第八届国际会议，MACIS 2019，土耳其Gebze。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11989, 341-356 (2020).
MSC公司：68倍 65-XX岁
PDF格式BibTeX公司 XML格式引用
\textit{D.Florescu}和\textit{M.英格兰}，莱克特。注释计算。科学。11989、341--356（2020；Zbl 07441081）
全文： DOI程序 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;马雷克·科什塔;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯

识别某些生物网络的多个稳态的参数发生。 （英语） 兹比尔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）
全文： DOI程序 arXiv公司
A.戴维多。

求解热带线性系统的新算法。 （英语。俄文原件） Zbl 1377.15015号

圣彼得堡数学学院。J。 28，第6期，727-740（2017）; 代数分析的翻译。28，第6期，1-19（2016）。
MSC公司：15A80型 14T05号 15A06号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Davydow}，圣彼得堡数学。J.28，No.6，727--740（2017；Zbl 1377.15015）；代数分析的翻译。28，第6号，1--19（2016）
全文： DOI程序 arXiv公司
卢卡·博托卢西;尼古拉斯·加斯特

超越常微分方程的平均场极限。 （英语） Zbl 1346.68217号

Bernardo，Marco（编辑）等人，集体适应系统定量评估的形式方法。第16所计算机、通信和软件系统正式设计方法国际学校，2016年SFM，意大利贝蒂诺罗，2016年6月20日至24日。高级讲座。查姆：施普林格（ISBN 978-3-319-34095-1/pbk；978-3-3169-34096-8/电子书）。计算机科学9700，61-82（2016）讲稿。
MSC公司：68T42型 34A60号 34F05型 60J28型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Bortolussi}和\textit{N.Gast}，莱克特。注释计算。科学。9700、61-82（2016年；Zbl 1346.68217）
全文： DOI程序 哈尔

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件