停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第6届MKM/14届Calculemus 2007：奥地利哈根堡

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

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/2007年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/2007
曼努埃尔·考尔斯,曼弗雷德·科伯,罗伯特·米纳,沃尔夫冈·温斯泰格:
走向机械化数学助理，第14届研讨会，2007年Calculemus，第6届国际会议，2007年MKM，2007年6月27日至30日，奥地利哈根堡，会议记录。计算机科学课堂讲稿4573,施普林格 2007，国际标准图书编号978-3-540-73083-5

2007年对Calculemus的贡献

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/安德烈斯LR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/安德烈斯·LR07
米利安·安德烈斯,Laureano Lambán,朱利奥·鲁比奥:
在Common Lisp中执行，在ACL2中验证。 1-12
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CaretteFS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CaretteFS07
雅克·卡雷特,威廉·M·法默,沃尔克·索尔格:
实验数学体系的理性重构。 13-26
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/ChaiebW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/ChaiebW07
胺链,马卡里乌斯·温泽尔:
上下文感知计算和演绎。 27-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CoquandS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CoquandS07网址
蒂埃里·科昆,Arnaud Spiwack公司:
类型理论中的构造同调代数。 40-54
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/达文波特07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Davenport07网站
詹姆斯·达文波特:
“理解函数”可能意味着什么？ 55-65
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/农民07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Farmer07网址
威廉·M·法默:
Chiron中的双形理论。 66-79
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/JanicicB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/JanicicB07
Predrag Janicic公司,阿兰·邦迪:
决策过程的自动综合：地面和线性算法的案例研究。 80-93
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KaliszykW07会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KaliszykW07
塞萨里·卡利西克,弗里克·维迪克:
基于交互式定理证明器的认证计算机代数。 94-105
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KartashovaM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KartashovaM07网址
埃琳娜·卡塔舍娃,斯科特·麦卡勒姆:
线性偏微分算子近似因子分解的量词消去。 106-115
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/梁J07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/梁J07
梁松欣,大卫·J·杰弗里:
向量积空间中基于规则的简化。 116-127

对MKM 2007的贡献

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Murray-Rust公司07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Murray-Rust07网站
彼得·默里-鲁斯特:
数学和科学标记。 128-129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Sloane07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Sloane07网站
尼尔·J·A·斯隆:
整数序列在线百科全书。 130
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AbanadesEB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AbanadesEB07
Miguel A.Abánades先生,杰苏斯·埃斯克里巴诺,弗朗西斯科·博塔纳:
使用OpenPath向标准动态几何系统添加验证功能的第一步。 131-145
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AspertiT07接口
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AspertiT07网站
安德烈亚·阿斯佩蒂,恩里科·塔西:
基于Paramemodulation-Based Refutations的高阶证明重构：单位相等案例。 146-160
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/AspinallLW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AspinallLW07网站
大卫·阿斯皮纳尔,克里斯托夫·吕斯,丹尼尔·温特斯坦:
交互式证明框架。 161-175
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/辅助FNW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/AutexierFNW07网址
谢尔盖·奥特谢尔,阿明·菲德勒,托马斯·诺伊曼,马克·瓦格纳:
将科学文本编辑器与证据辅助系统集成时支持用户定义的符号。 176-190
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/BorakZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/BorakZ07网址
埃瓦·博拉克,安娜·扎勒夫斯卡:
Mizar逻辑和集合论课程。 191-204
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/科尔顿W07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/ColtonW07
西蒙·科尔顿,丹尼尔·瓦格纳:
在数学发现中使用形式概念分析。 205-220
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/CorbineauK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CorbineauK07
皮埃尔·科尔比诺,塞萨里·卡利西克:
用于正式证明的合作存储库。 221-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/GrabowskiS07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/GrabowskiS07网站
亚当·格拉博夫斯基,克里斯托夫·施瓦茨韦勒:
修订版是维护数学存储库的基本工具。 235-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Grue07文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Grue07网站
克劳斯·格鲁:
Logiweb的层。 250-264
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/HorozalB07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/HorozalB07
费亚尔·富利亚·霍洛扎,乍得E.布朗:
依赖类型集理论中数学的形式表示。 265-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KamareddineLMW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KamareddineLMW07网站
Fairouz Kamaredine公司,罗伯特·拉马尔,曼努埃尔·马雷克,J.B.威尔斯:
将自然语言还原为计算机化的数学输入方法。 280-295
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KamareddineMRW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KamareddineMRW07
Fairouz Kamaredine公司,曼努埃尔·马雷克,Krzysztof Retel公司,J.B.威尔斯:
数学文本的叙事结构。 296-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/KohlhaseK07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/KohlhaseK07
安德烈亚·科尔哈斯,Michael Kohlhase公司:
重新检验MKM价值主张：从数学网络搜索到数学网络重新搜索。 313-326
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/LeeR07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/km/LeeR07
李国华,彼得罗·鲁德尼基:
米扎尔的替代骨料。 327-341
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/MinerM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/MinerM07网站
罗伯特·米纳,拉杰什·穆纳瓦利:
通过查询公式化和数据规范化进行数学搜索的方法。 342-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/诺曼K07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/诺曼K07
伊曼纽尔·诺曼,Michael Kohlhase公司:
的扩展公式规范化ε-数学知识的检索和共享。 356-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/Rowinska-SchwarzwellerS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Rowinska-SchwarzwellerS07
阿格涅斯卡·罗温斯卡·施瓦兹韦勒,克里斯托夫·施瓦茨韦勒:
面向电气工程数学知识管理。 371-380
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/科恩Z07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/CoenZ07网址
克劳迪奥·萨塞尔多蒂·科恩,斯特凡诺·扎奇罗利:
虚假消歧错误检测。 381-392
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/mkm/优素福07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mkm/Youssef07网站
阿卜杜·优素福:
数学搜索中的关联排序和匹配生成方法。 393-406

服务

管理网站设置

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