×

找到15个文档（结果1-15）

最新的 引文 关联
拉塞尔·布拉德福德;詹姆斯·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）
全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;哈桑·埃拉米;弗拉基米尔·格特;迪马·格里戈里耶夫;查尔斯·霍伊特;科什塔，马雷克;奥维迪乌·拉杜列斯库;托马斯·斯特姆;安德烈亚斯·韦伯

多稳态参数发生的案例研究。 （英语） Zbl 1444.92034号

Michael Burr（编辑），《第42届符号和代数计算国际研讨会论文集》，ISSAC 2017，德国凯泽斯劳滕，2017年7月25-28日。纽约州纽约市：计算机协会（ACM）。45-52 (2017).
MSC公司：92立方厘米 68瓦30 92-08
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，《第42届符号和代数计算国际研讨会论文集》，ISSAC 2017，德国凯泽斯劳滕，2017年7月25日至28日。纽约州纽约市：计算机协会（ACM）。45-52（2017；Zbl 1444.92034）
全文： 内政部 arXiv公司
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。

改进了柱面代数分解中等式约束的使用。 （英语） Zbl 1346.68283号

第40届符号和代数计算国际研讨会论文集，ISSAC 2015，英国巴斯，2015年7月6日至9日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3435-8）。165-172 (2015).
MSC公司：68瓦30 03C10号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.England}等人，《第40届符号和代数计算国际研讨会论文集》，ISSAC 2015，英国巴斯，2015年7月6-9日。纽约州纽约市：计算机协会（ACM）。165-172（2015；Zbl 1346.68283）
全文： 内政部 arXiv公司
拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;英格兰，马修;马克·莫雷诺·马扎;大卫·威尔逊

正则链的真值表不变柱面代数分解。 （英语） Zbl 1350.68293号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2014年9月8日至12日在波兰华沙举行的中国社会科学院2014年第16届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-10514-7/pbk）。计算机科学讲座笔记8660，44-58（2014）。
MSC公司：68瓦30 第14页99 1999年第14季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，Lect。注释计算。科学。8660，44-58（2014；Zbl 1350.68293）
全文： 内政部 arXiv公司
英格兰，马修;大卫·威尔逊;拉塞尔·布拉德福德;詹姆斯·H·达文波特。

使用正则链库通过投影和提升来构建柱面代数分解。 （英语） Zbl 1437.14008号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 458-465 (2014).
MSC公司：14-04 2016年第14季度 13页第10页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}等人，Lect。注释计算。科学。8592、458--465（2014年；Zbl 1437.14008）
全文： 内政部 arXiv公司
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊

通过增量三角分解为真稳定不变柱面代数分解选择变量排序。 （英语） Zbl 1350.68294号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-44198-5/pbk）。计算机科学课堂讲稿8592，450-457（2014）。
MSC公司：68瓦30 第14页99 1999年第14季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}等人，Lect。注释计算。科学。8592450-457（2014年；Zbl 1350.68294）
全文： 内政部 arXiv公司
英格兰，马修;拉塞尔·布拉德福德;陈昌波;詹姆斯·H·达文波特。;马克·莫雷诺（Marc Moreno Maza）;大卫·威尔逊

通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 （英语） Zbl 1304.68223号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。人工智能课堂讲稿，45-60（2014）。
MSC公司：68瓦30 第14页 1999年第14季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}等人，Lect。注释计算。科学。8543，45-60（2014年；兹比尔1304.68223）
全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;斯科特·麦卡勒姆;大卫·威尔逊

布尔组合的柱面代数分解。 （英语） 兹比尔1359.68327

Kauers，Manuel（编辑），第38届符号和代数计算国际研讨会论文集，ISSAC 2013，美国马萨诸塞州波士顿，2013年6月26日至29日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2059-7）。125-132 (2013).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，《第38届符号与代数计算国际研讨会论文集》，ISSAC 2013，美国马萨诸塞州波士顿，2013年6月26-29日。纽约州纽约市：计算机协会（ACM）。125-132（2013年；Zbl 1359.68327）
全文： 内政部 arXiv公司 链接
英格兰，马修;拉塞尔·布拉德福德;詹姆斯·H·达文波特。;大卫·威尔逊

理解表达式的分支切割。 （英语） Zbl 1390.68777号

Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。人工智能课堂讲稿，136-151（2013）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}等人，Lect。注释计算。科学。7961，136--151（2013；Zbl 1390.68777）
全文： 内政部 arXiv公司
拉塞尔·布拉德福德;詹姆斯·H·达文波特。;英格兰，马修;大卫·威尔逊

优化圆柱代数分解的问题公式。 （英语） Zbl 1390.68775号

Carette，Jacques（编辑）等人，《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目，作为2013年CICM的一部分，于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39319-8/pbk）。计算机科学讲座笔记7961。人工智能讲义，19-34（2013）。
MSC公司：68瓦30 13页第10页
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，Lect。注释计算。科学。7961、19-34（2013年；Zbl 1390.68775）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件