停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

第16届CICM 2023：英国剑桥

>主页 >会议和研讨会 >CICM公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2023
凯瑟琳·杜波依斯,曼弗雷德·科伯:
智能计算机数学-第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日，会议记录。计算机科学课堂讲稿14101,施普林格 2023，国际标准图书编号978-3-031-42752-7

受邀会谈

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Paulson23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Paulson23
劳伦斯·保尔森:
工作数学家的大规模形式证明——从ALEXANDRIA项目中学到的经验教训。 3-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Seidl23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Seidl23
马蒂娜·塞德尔:
永远不要相信你的解决方案：SAT和QBF认证。 16-33

常规论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AransayLR23配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AransayLR23
耶苏斯·阿兰赛,Laureano Lambán,朱利奥·鲁比奥:
通过二进制决策图进行规避。 37-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AyalaRinconFSKN23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AyalaRinconFSKN23
毛里西奥·阿亚拉·林科,玛丽贝尔·费尔南德斯,加布里埃尔·费雷拉·席尔瓦,Temur Kutsia公司,丹尼尔·南特斯·索布里尼奥:
标称交流匹配。 53-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/拜耳GBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/拜耳GBS23
乔纳斯·拜耳,阿列克谢·戈纳斯,克里斯托夫·本兹穆勒,达纳·S·斯科特:
Isabelle/HOL中的范畴理论作为元逻辑研究的基础。 69-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/BergesBCKLM23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/BergesBCKLM23
马克·伯吉斯,乔纳斯·贝赞达尔,阿披舍克丘,迈克尔·科尔哈斯,多米尼克·洛尔,丹尼斯·米勒:
基于数学知识管理的学习支持系统。 84-97
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Camination公司23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Caminati23网站
马可·卡米纳:
原始表示定理的Isabelle形式化。 98-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CorlessJS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CorlessJS23
罗伯特·M·科尔利斯,大卫·J·杰弗里,阿扎尔·沙科里:
在机械化数学环境中教授线性代数。 113-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/港湾K23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/GangwarK23
内拉杰·甘瓦尔,尼克瓦什·卡尼:
突出显示优化问题自动形成输入中的命名实体。 130-141
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/轮毂23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HuchS23
费比安·胡奇,Yiannos Stathopoulos公司:
伊莎贝尔的形式化质量。 142-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KharimPRV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KharimPRV23
阿比德·西亚尔·阿卜杜勒·哈利姆,T.V.H.普拉塔梅斯,什韦塔·拉吉夫,里希·维亚斯:
Isabelle/HOL中自由群的形式化：Nielsen-Schreier定理和共轭问题。 158-173
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/RabeW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/RabeW23
弗洛里安·拉贝,弗兰齐斯卡·韦伯:
理论图中的形态相等。 174-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/ScheeferK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/ScheeferK23
简·弗雷德里克·谢弗,迈克尔·科尔哈斯:
STEM文件注释标准——数据集、基准和观察者。 190-205
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/TekriwalAKBJ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/TekriwalAKBJ23
莫希特·特克里瓦尔,安德鲁·W·阿佩尔,阿里尔·凯利森,大卫·宾德尔,Jean-Baptiste珍妮:
验证了平稳迭代线性解算器的正确性、准确性和收敛性：雅可比方法。 206-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Wieser23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Wieser23网址
埃里克·威瑟:
依赖型代数层次中的多重遗传危险。 222-236
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/YehHOQS23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/是HOQS23
Eric Yeh（埃里克·叶）,布里兰·希塔吉,萨姆·奥雷,梅娜·奎梅纳,纳塔拉詹·尚卡尔:
CoProver:证明结构的推荐系统。 237-251

项目和调查文件

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/达文波特23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Davenport23
詹姆斯·哈罗德·达文波特:
证明算法的执行正确吗？ 255-269
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Shallit23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Shallit23
杰弗里·沙利特:
用核桃证明OEIS序列的结果。 270-282

系统和数据集描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/HammerNS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HammerNS23
亨利·哈默,野田娜奈子,克里斯托弗·斯通:
证明语言：arXiv证明语言。 285-290
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/HeisingerS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HeisingerS23
西蒙·海辛格,马蒂娜·塞德尔:
用于基准量化可满足性求解器的真正手工公式族。 291-296
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/HesterHPOSY23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HesterHPOSY23
海斯特,布里兰·希塔吉,格兰特·帕斯莫尔,萨姆·奥雷,纳塔拉詹·尚卡尔,埃里克·耶:
使用机器学习消除实际量词的增强MetiTarski数据集。 297-302
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/JakubuvK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/JakubuvK23
扬·贾库布夫,塞萨里·卡利西克:
VizAR：自动推理证明可视化（系统描述）。 303-308
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Naumowicz23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Naumowicz23
亚当·诺莫维奇:
在Mizar中扩展数论形式化的数字自动化。 309-314
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/RabeW23a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/RabeW23a
弗洛里安·拉贝,斯蒂芬·瓦特:
从Aldor库中提取理论图。 315-320

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。