×

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

最新的 引文 关联
贾斯珀·纳尔巴赫；艾丽卡·阿尔布拉汉姆；菲利普·斯佩克特；克里斯托弗·布朗（Christopher W.Brown）。；詹姆斯·H·达文波特。；英格兰，马修

单个圆柱形代数单元的水平构造。 （英语） Zbl 07799840号

J.塞姆。计算。 123，文章ID 102288，44 p.（2024）.
MSC公司：68瓦xx 68次发射 03立方厘米xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Nalbach}等人，J.Symb。计算。123，文章ID 102288，44 p.（2024；Zbl 07799840）
全文： 内政部 arXiv公司
詹姆斯·哈罗德·达文波特

证明算法的执行正确吗？ （英语） Zbl 07810736号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 255-269 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}，莱克特。注释计算。科学。14101255-269（2023；Zbl 07810736）
全文： 内政部
詹姆斯·H·达文波特。

数学科学示例的数字集合。 （英语） Zbl 07763413号

Hujdurović，Ademir（编辑）等人，欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。719-731 (2023).
MSC公司：68-02
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}，in：欧洲数学大会。2021年6月20日至26日，斯洛文尼亚波托罗日，8ECM，第八届大会会议记录。柏林：欧洲数学学会（EMS）。719--731（2023年；Zbl 07763413）
全文： 内政部 arXiv公司
詹姆斯·哈罗德·达文波特；阿克沙尔·萨吉夫·奈尔；格雷戈里·库马尔·桑卡兰；阿里·凯末尔·恩库

Lazard风格的CAD和方程式约束。 （英语） 兹伯利07760765

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。218-226 (2023).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛J.H.Davenport｝等人，载：第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆瑟，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。218--226（2023；Zbl 07760765）
全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；詹姆斯·H·达文波特。；英格兰，马修；基里恩·克莱默

使用柱面代数覆盖通过冲突驱动搜索确定非线性实数算术约束的一致性。 （英语） 兹比尔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）
全文： 内政部 arXiv公司
阿克沙·奈尔；詹姆斯·达文波特；格雷戈里·桑卡兰

CAD中的窗帘：为什么它们是一个问题，我们如何解决它们？ （英语） Zbl 1503.68314号

Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12097, 17-26 (2020).
MSC公司：68瓦30 2014年第30季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Nair}等人，Lect。注释计算。科学。12097，17-26（2020；Zbl 1503.68314）
全文： 内政部
詹姆斯·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页第42页 68瓦30 92-08
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，J.Symb。计算。98，84-119（2020；Zbl 1442.92056）
全文： 内政部 arXiv公司
詹姆斯·达文波特

符号计算方法。 （英语） Zbl 1515.68382号

Fleuriot，Jacques（编辑）等人，《人工智能与符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 19-33 (2018).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.Davenport}，莱克特。注释计算。科学。11110、19-33（2018年；Zbl 1515.68382）
全文： 内政部
E·阿尔布拉哈姆。；雅培，J。；B.贝克尔。；比加蒂，A.M。；布莱恩，M。；巴赫伯格，B。；A.西马蒂。；J.H.达文波特。；英格兰，M。；方丹，P。；福雷斯特，S。；A.格里乔。；克罗宁，D。；西勒，W.M。；Sturm，T。

满意度检查和符号计算。 （英语） Zbl 1365.68478号

ACM通信。计算。代数 50，第4期，145-147（2016）.
MSC公司：68瓦30 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，ACM Commun。计算。代数50，第4期，145-147（2016；Zbl 1365.68478）
全文： 内政部 arXiv公司 链接
英格兰，马修；詹姆斯·H·达文波特。

柱代数分解相对于多项式次数的复杂性。 （英语） Zbl 1453.13079号

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9890, 172-192 (2016).
MSC公司：13页第10页 第13页，共15页 65D17号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}和\textit{J.H.达文波特}，莱克特。注释计算。科学。9890、172--192（2016年；Zbl 1453.13079）
全文： 内政部 arXiv公司
詹姆斯·H·达文波特。

集成的复杂性、特殊价值和最新发展。 （英语） Zbl 1434.68700号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 485-491 (2016).
MSC公司：68瓦30 26A42型 65天30分 65年20月
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}，莱克特。注释计算。科学。9725，485--491（2016；Zbl 1434.68700）
全文： 内政部 链接
詹姆斯·H·达文波特。；英格兰，马修

多项式系统需要是双指数的吗？ （英语） Zbl 1434.68702号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 157-164 (2016).
MSC公司：68瓦30 13页第10页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。注释计算。科学。9725，157--164（2016；Zbl 1434.68702）
全文： 内政部 arXiv公司
艾丽卡·阿尔布拉汉姆；约翰·阿伯特；贝恩德·贝克尔；安娜·比加蒂（Anna M.Bigatti）。；布莱恩，马丁；布赫伯格，布鲁诺；亚历山德罗·西马蒂；詹姆斯·H·达文波特。；英格兰，马修；帕斯卡·方丹；史蒂芬·福雷斯特；阿尔贝托·格里乔；丹尼尔·克罗宁；Werner M.塞勒。；托马斯·斯特姆

联合国安全理事会\（^2）：可满足性检查满足符号计算。（项目文件）。 （英语） Zbl 1344.68198号

Michael Kohlhase（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚莱斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，28-43（2016）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。9791，28-43（2016；Zbl 1344.68198）
全文： 内政部 arXiv公司
詹姆斯·H·达文波特。；英格兰，马修

真实几何推理的最新进展。 （英语） Zbl 1434.68701号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日在葡萄牙科英布拉举行的ADG 2014第十届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 37-52 (2015).
MSC公司：68瓦30 03B35型 03G15年
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}和\textit{M.英格兰}，莱克特。注释计算。科学。9201,37-52（2015；Zbl 1434.68701）
全文： 内政部 arXiv公司
黄宗岩；英格兰，马修；大卫·威尔逊；詹姆斯·H·达文波特。；劳伦斯·C·鲍尔森。；詹姆斯·布里奇

将机器学习应用于选择启发式方法来选择圆柱代数分解的变量顺序的问题。 （英语） Zbl 1304.68224号

Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。《人工智能课堂讲稿》，92-107（2014）。
MSC公司：68瓦30 68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Huang}等人，Lect。注释计算。科学。8543，92-107（2014；Zbl 1304.68224）
全文： 内政部 arXiv公司
英格兰，马修；布拉德福德，拉塞尔；陈昌波；詹姆斯·H·达文波特。；玛扎，马克·莫雷诺；大卫·威尔逊

通过增量三角分解实现真稳定不变圆柱代数分解的问题公式。 （英语） 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；Zbl 1304.68223）
全文： 内政部 arXiv公司
詹姆斯·H·达文波特。；迈克尔·科尔哈斯

统一数学本体论：两个标准的故事。 （英语） Zbl 1247.68268号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，263-278（2009）。
MSC公司：68立方英尺 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}和\textit{M.Kohlhase}，莱克特。注释计算。科学。5625263--278（2009年；Zbl 1247.68268）
全文： 内政部 链接
布拉德福德，拉塞尔；詹姆斯·H·达文波特。；克里斯托弗·桑温。

计算机代数中的等式与数学教学中的正确性的比较。 （英语） Zbl 1247.97004号

Carette，Jacques（编辑）等人，《智能计算机数学》。2009年7月6日至12日，在加拿大大本德举行了2009年第16届Calculemus研讨会，2009年第8届MKM国际会议，作为2009年CICM的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02613-3/pbk）。计算机科学讲义5625。人工智能课堂讲稿，75-89（2009）。
MSC公司：97D60型 68瓦30 97单位50
PDF格式BibTeX公司 XML格式引用
\textit{R.Bradford}等人，Lect。注释计算。科学。5625，75-89（2009年；Zbl 1247.97004）
全文： 内政部 链接
乔纳森·斯特拉特福德；詹姆斯·H·达文波特。

单位知识管理。 （英语） Zbl 1166.68360号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，382-397（2008）。
MSC公司：68层35
PDF格式BibTeX公司 XML格式引用
\textit{J.Stratford}和\textit{J.H.Davenport}，莱克特。注释计算。科学。5144382--397（2008年；Zbl 1166.68360）
全文： 内政部 链接
詹姆斯·H·达文波特。

计算机代数及其他领域中的有效集成员关系。 （英语） Zbl 1166.68371号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，266-269（2008）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}，莱克特。注释计算。科学。5144266--269（2008年；Zbl 1166.68371）
全文： 内政部
詹姆斯·H·达文波特。

AISC符合自然字体。 （英语） Zbl 1166.68333号

Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，53-60（2008）。
MSC公司：68T01型 68单位15
PDF格式BibTeX公司 XML格式引用
\textit{J.H.Davenport}，莱克特。注释计算。科学。5144、53-60（2008年；Zbl 1166.68333）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件