×

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

最新的 引文 关联
爱德华·祖尔科斯基;布莱特，柯蒂斯;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;Czarnecki、Krzysztof;维杰·加内什

将SAT解算器与计算机代数系统结合起来验证组合猜想。 （英语） Zbl 1410.68413号

J.汽车。推理 58，第3号，313-339（2017）.
MSC公司：68瓦30 05B20号 05C15号 05C38号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{E.Zulkoski}等人，J.Autom。推理58，No.3，313--339（2017；Zbl 1410.68413）
全文： 内政部
布莱特，柯蒂斯;维杰·加内什;阿尔伯特·海因勒;伊利亚斯·科齐里亚斯;赛义德·内贾蒂;Czarnecki、Krzysztof

数学检查2:用于组合猜想的SAT+CAS验证器。 （英语） 兹比尔1453.05001

Gerdt，Vladimir P.（编辑）等人，《科学计算中的计算机代数》。2016年9月19日至23日，罗马尼亚布加勒斯特，第18届国际研讨会，CASC 2016。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9890, 117-133 (2016).
MSC公司：05-04 68伏15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Bright}等人，Lect。票据计算。科学。9890、117--133（2016；Zbl 1453.05001）
全文： 内政部
齐格弗里德·迈克尔（Siegfried Michael），臀部

测试台上的浮点运算。如何计算验证的数值解？（Gleitkommaarithmetik auf dem Prüfstand.Wie werden verifiziert（e）numerische Lösungen berechnet？） （德语） Zbl 1372.65140号

贾里斯贝尔。Dtsch公司。数学-版本。 118，第3号，179-226（2016）.
MSC公司：65G20个 65G30型 6504年
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Rump}，Jahresber。Dtsch公司。数学-118版，第3号，179--226（2016；Zbl 1372.65140）
全文： 内政部
乔里斯·范德霍温

Mathemagix类型系统概述。 （英语） Zbl 1352.68306号

冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。397-425（2014年）。
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.van der Hoeven}，摘自：计算机数学。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。397-425（2014年；兹比尔1352.68306）
全文： 内政部 哈尔
Chyzak、Frédéric;阿西亚·马布比;托马斯·西布特·皮诺特;恩里科·塔西

基于计算机代数的形式化证明\（\ zeta（3）\）的非合理性。 （英语） Zbl 1416.68155号

Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8558160-176（2014年）。
MSC公司：68吨15 11J72型 2006年11月 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Chyzak}等人，Lect。票据计算。科学。8558、160--176（2014；Zbl 1416.68155）
全文： 内政部 哈尔
大卫·阿斯皮纳尔（编辑）;克劳迪奥·萨塞尔多蒂·科恩（编辑）

2010年7月15日，英国爱丁堡，第九届定理证明器用户界面国际研讨会论文集（UITP10）。 （英语） Zbl 1284.68005号

理论计算机科学电子笔记285.阿姆斯特丹：爱思唯尔。120页。，仅电子版（2012年）。
MSC公司：68-06 68吨15 68单位35 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{D.Aspinall}（编辑）和\textit{C.Sacerdoti Coen}（编者），第九届定理证明器用户界面国际研讨会论文集（UITP10），英国爱丁堡，2010年7月15日。阿姆斯特丹：爱思唯尔（2012；Zbl 1284.68005）
全文： 链接
约翰·杰林（编辑）;约翰·坎贝尔（John A.Campbell）。（编辑）;雅克·卡雷特（编辑）;加布里埃尔·多斯·里斯（编辑）;彼得·索伊卡（编辑）;马卡里乌斯·温泽尔（编辑）;沃尔克·索尔格（编辑）

智能计算机数学。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。 （英语） Zbl 1245.68013号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-31373-8/pbk）。十八、473页。(2012).
MSC公司：68-06 68泰克 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Jeuring}（编辑）等人，《智能计算机数学》。2012年7月8日至13日，在德国不来梅举行了第11届国际会议、2012年AISC、第19届研讨会、2012年Calculemus、2012年DML第5届国际研讨会、2012年度MKM第11次国际会议、系统和项目。诉讼程序。柏林：施普林格出版社（2012；Zbl 1245.68013）
全文： 内政部
本杰明·格雷戈里;洛伊奇，波蒂埃;Laurent Théry

代数证明证书及其在几何定理自动证明中的应用。 （英语） Zbl 1302.68242号

Sturm，Thomas（编辑）等人，《几何中的自动演绎》。2008年9月22日至24日，第七届国际研讨会，ADG 2008，中国上海。修订论文。柏林：施普林格出版社（ISBN 978-3-642-21045-7/pbk）。计算机科学6301课堂讲稿。人工智能课堂讲稿，42-59（2011）。
MSC公司：68吨15 13页第10页
PDF格式BibTeX公司 XML格式引用
\文本{B.Grégoire}等人，Lect。票据计算。科学。6301,42-59（2011；Zbl 1302.68242）
全文： 内政部 链接
谢尔盖·奥特西尔（编辑）;约翰·坎贝尔（编辑）;朱利奥·鲁比奥（编辑）;沃尔克·索尔格（编辑）;铃木、Masakazu（编辑）;弗里克·威迪杰克（编辑）

智能计算机数学。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。 （英语） Zbl 1154.68002号

计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。xiv，600页。(2008).
MSC公司：68-06 68泰克 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{S.Autexier}（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（2008；Zbl 1154.68002）
全文： 内政部
Cezary卡利西克;弗里克·威迪杰克

在交互式定理证明器之上认证的计算机代数。 （英语） Zbl 1202.68382号

Kauers，Manuel（编辑）等人，《走向机械化数学助手》。2007年6月27日至30日，第14次研讨会，2007年Calculemus，第6次国际会议，2007年MKM，奥地利哈根堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73083-5/pbk）。计算机科学课堂讲稿4573。人工智能课堂讲稿，94-105（2007）。
MSC公司：68吨15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}和\textit{F.Wiedijk}，莱克托。票据计算。科学。4573，94-105（2007；Zbl 1202.68382）
全文： 内政部
大卫·德拉哈耶;米凯拉·梅耶罗

使用计算机代数系统的证明助手中代数闭域上的量词消除。 （英语） 兹比尔1273.68417

Carette，Jacques（编辑）等人，《第十二届符号计算与机械化推理集成研讨会论文集》（Calculemus 2005），英国纽卡斯尔大学泰恩分校，2005年7月18日至19日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》151，第1期，57-73（2006）。
MSC公司：68瓦30 03C10号机组 2005年12月 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Delahaye}和\textit{M.Mayero}，电子。注释Theor。计算。科学。151，第1号，57-73（2006年；兹bl 1273.68417）
全文： 链接
Farmer，William M。;马丁·冯·莫伦柴尔德

管理数学的正式框架。 （英语） 兹伯利0982.68114

Buchberger，Bruno（编辑）等人，《数学知识管理：MKM 2001》。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24-26日。林茨：林茨大学，37页（2001年）。
MSC公司：68吨15 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{W.M.Farmer}和\textit{M.von Mohrenschildt}，in：数学知识管理：MKM 2001。第一届国际研讨会电子会议记录，RISC，SchloßHagenberg，奥地利，2001年9月24日至26日。林茨：林茨大学。37页（2001年；Zbl 0982.68114）
全文： 链接
理查德·博尔顿。（编辑）;保罗·B·杰克逊。（编辑）

高阶逻辑中的定理证明。2001年9月3日至6日在英国苏格兰爱丁堡举行的第14届TPHOL国际会议。诉讼程序。 （英语） Zbl 0971.00027号

计算机科学课堂讲稿. 2152. 柏林：斯普林格。x、 第395页（2001年）。
MSC公司：00B25型 68-06 03-06 68吨15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{R.J.Boulton}（编辑）和textit{P.B.Jackson}，高阶逻辑中的定理证明。第14届国际会议，2001年TPHOL，苏格兰爱丁堡，英国，2001年9月3-6日。诉讼程序。柏林：施普林格（2001年；Zbl 0971.00027）
O.卡普洛蒂。;科恩，A.M。

使用OpenMath集成计算和演绎系统。 （英语） Zbl 0958.68154号

阿曼多、亚历山德罗（编辑）等，Calculemus 99。综合计算和扣除系统，意大利特伦托，1999年7月11日至12日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。23,312页，仅电子版（1999年）。
MSC公司：68吨15
PDF格式BibTeX公司 XML格式引用
\textit{O.Caprotti}和\textit{A.M.Cohen}，收录于：Calculemus 99。《综合计算和扣除系统》，意大利特伦托，1999年7月11-12日。阿姆斯特丹：爱思唯尔。第12页（1999年；Zbl 0958.68154）
吉尔·巴特;马克·鲁伊斯;亨克·巴伦德雷格特

精益校对的两级方法。 （英语） Zbl 1407.68431号

Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1158, 16-35 (1996).
MSC公司：68吨15 03B35型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{G.Barthe}等人，Lect。票据计算。科学。1158、16-35（1996年；Zbl 1407.68431）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件