×

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

最新的 引文 关联
英格兰，马修;多里安·弗洛雷斯库

比较机器学习模型以选择圆柱代数分解的变量顺序。 （英语） Zbl 1428.68399号

Kaliszyk，Cezary（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11617, 93-108 (2019).
MSC公司：68瓦30 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{M.英格兰}和\textit{D.Florescu}，莱克特。注释计算。科学。11617，93-108（2019；Zbl 1428.68399）
全文： 内政部 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公司
劳拉·I·梅克尔。;雅克·弗莱里奥特。

围绕用户集成系统：在谚语的调色板中组合Isabelle、Maple和QEPCAD。 （英语） Zbl 1294.68125号

Aspinall，David（编辑）等人，第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记285115-119（2012）。
MSC公司：第68页第15页 60年第68季度 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{L.I.Meikle}和textit{J.D.Fleuriot}，电子。理论注释。计算。科学。285115--119（2012；Zbl 1294.68125）
全文： 内政部
安德烈·普拉泽;贾·戴维德·奎塞尔

KeYmaera：混合系统的混合定理证明器。（系统描述）。 （英语） Zbl 1165.68469号

阿曼多、亚历山德罗（编辑）等，《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林：施普林格出版社（ISBN 978-3-540-71069-1/pbk）。计算机科学课堂讲稿5195。人工智能课堂讲稿，171-178（2008）。
MSC公司：第68页第15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Platzer}和\textit{J.-D.Quesel}，莱克特。注释计算。科学。5195、171--178（2008年；Zbl 1165.68469）
全文： 内政部
陈应华;夏碧灿;杨璐;詹乃军;周朝晨

通过求解半代数系统发现非线性排序函数。 （英语） Zbl 1147.68442号

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，34-49（2007）。
MSC公司：68号30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chen}等人，Lect。注释计算。科学。4711、34-49（2007年；Zbl 1147.68442）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件