×
塞萨里·卡利西克（编辑）;埃德温·布雷迪（编辑）;安德烈亚·科尔哈斯（编辑）;克劳迪奥·萨切多蒂·科恩（编辑）

智能计算机数学。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。 （英语） Zbl 1428.68028号

计算机科学课堂讲稿11617.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-030-23249-8/pbk；978-3-0.30-23250-4/电子书）。xii，307页。(2019).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1392.68030号].
索引文章：
马卡里乌斯·温泽尔，与Isabelle/PIDE中的正式数学文件交互，1-15[Zbl 1428.68347号]
拜耳，乔纳斯；马可·戴维；阿比克·帕尔；股票，Benedikt《初学者对数学形式化的探索：伊莎贝尔的可行性研究》，16-27[Zbl 1428.68340号]
Berčič，卡佳；Michael Kohlhase；弗洛里安·拉贝《走向统一的数学数据基础设施：数据库和接口生成》，28-43[Zbl 1428.68356号]
Brown，Chad E。；Pąk，卡罗尔，两个集合理论的故事，44-60[Zbl 1428.68348号]
安德烈亚·康多卢奇（Andrea Condoluci）；Michael Kohlhase；米勒，丹尼斯；弗洛里安·拉贝（Florian Rabe）；Sacerdoti Coen，Claudio；马卡里乌斯·温泽尔，跨数学库的关系数据，61-76[Zbl 1428.68352号]
Besik Dundua；德谟库西亚；马林·米尔恰，变量方程匹配，77-92[兹比尔1428.68341]
英格兰，马修；多里安·弗洛雷斯库，比较机器学习模型以选择圆柱代数分解的变量顺序，93-108[Zbl 1428.68399号]
雅克·卡雷特；法默，威廉·M。，朝向指定符号计算，109-124[兹比尔1428.68397]
穆阿·约翰逊，归纳的引理发现。调查，125-139[Zbl 1428.68342号]
佐尔坦科瓦奇；佩奇，帕维尔，在轨迹方程计算的假设中自动包含一些非简并条件的实验，140-154[Zbl 1428.68343号]
亚历山大·马列茨基，Isabelle/HOL中Gröbner基的Dubé度界的形式化，155-170[Zbl 1428.68349号]
穆勒，丹尼斯；弗洛里安·拉贝（Florian Rabe）；克劳迪奥·萨切多蒂·科恩，Coq库作为理论图，171-186[Zbl 1428.68344号]
迪·昆兰；Wells，Joe B。；法鲁兹卡马雷丁，实际使用的BNF型符号，187-204[Zbl 1428.68350号]
弗洛里安·拉贝，MMTTeX：连接面向内容和叙述的文档格式，205-210[Zbl 1428.68351号]
弗洛里安·拉贝（Florian Rabe）；亚斯敏·沙罗达，MMT中的图组合符，211-226[Zbl 1428.68353号]
丹尼尔·拉吉；亚伦·斯托克迪尔（Aaron Stockdill）；贾姆尼克，马蒂亚；加西亚·加西亚，格雷西亚；Sutherland，Holly E.A。；Peter C.-H.Cheng。，检查和选择代表，227-242[Zbl 1428.68293号]
克劳迪奥·萨切多蒂·科恩，一个将Coq库导出为XML的插件，243-257[Zbl 1428.68345号]
莫里茨·舒博茨（Moritz Schubotz）；奥拉夫·特施克（Olaf Teschke）；文森特·斯坦格（Vincent Stange）；诺曼·穆什克；吉普，贝拉，数字数学图书馆中的剽窃形式，258-274[Zbl 1428.68358号]
Amann，Kai；Michael Kohlhase；弗洛里安·拉贝（Florian Rabe）；汤姆·威辛，集成语义数学文档和动态笔记本，275-290[Zbl 1428.68355号]
阿卜杜·优素福（Abdou Youssef）；布鲁斯·米勒。，《探究单词嵌入在数学搜索和数学语义中的使用》，291-305[兹比尔1428.68354]

引用于1审查
引用于2文件

MSC公司：

68-06 与计算机科学有关的论文集、会议、文集等
68泰克 人工智能
68伏xx 数学研究和实践的计算机科学支持
00B25型 杂项特定利益的会议记录

引文：

Zbl 1392.68030号

软件：

伊莎贝尔;Coq公司;MMT公司;伊莎贝尔/HOL;伊莎贝尔/PIDE;MMTTeX公司
PDF格式BibTeX公司 XML格式引用
\textit{C.Kaliszyk}（编辑）等人，《智能计算机数学》。2019年7月8日至12日在捷克共和国布拉格举行的第十二届国际会议，CICM 2019。诉讼程序。查姆：施普林格（2019；Zbl 1428.68028）
全文： 内政部