×

兹马思-数学第一资源

机械化数学助手。2007年6月27日至30日,奥地利哈根堡,2007年第六届MKM国际会议,第14届加尔各谟研讨会。诉讼程序。(英语) Zbl 1119.68011
计算机科学讲义4573人工智能课堂讲稿。柏林:斯普林格出版社(ISBN 978-3-540-73083-5/pbk)。十三,407页。(2007年)。

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

本卷的文章将单独审查。上一次会议已经过审查(见Zbl 1114.68004).
索引文章:
安德烈,米里安;兰潘,劳雷亚诺;鲁比奥,朱利奥,在公共Lisp中执行,在ACL2中证明,1-12[Zbl 1202.68369]
卡莱特,雅克;农民,威廉M。;索尔格,沃尔克,实验数学系统的合理重构,13-26[Zbl 1202.68374]
Chaieb,胺;温泽尔,马卡里厄斯,上下文感知计算和推导。伊莎贝尔通过格氏基底的环等式,27-39年[Zbl 1202.68375]
可口可乐,蒂埃里;斯皮瓦克,阿诺,类型论中的构造同调代数,40-54[Zbl 1202.68376]
达文波特,詹姆斯H。,什么是“理解函数”,55-65[Zbl 1202.68490]
农夫,威廉M。,奇隆的双态理论,66-79[Zbl 1202.03025]
贾尼契奇,普雷特拉格;邦迪,艾伦93-80线性算法与自动综合的实例研究[Zbl 1202.68381]
卡利斯齐克,塞扎里;维迪迪克,弗里克,在交互式定理证明器上认证的计算机代数,94-105[Zbl 1202.68382]
卡塔索娃,埃琳娜;麦卡伦,斯科特,线性偏微分算子近似因式分解的量词消除,106-115[Zbl 1202.68491号]
梁松新;杰弗里,大卫J。,向量积空间中基于规则的简化,116-127[Zbl 1202.68493]
斯隆,尼尔·J·A。,整数序列的在线百科全书。(摘要),130[Zbl 1159.11327号]
阿班纳德斯,米格尔A。;埃斯克里巴诺,耶稣;博塔纳,弗朗西斯科,关于使用OpenMath向标准动态几何系统添加证明功能的第一步,131-145[Zbl 1202.68487号]
阿斯佩蒂,安德里亚;塔西,恩里科,从基于参数调节的反驳中重构高阶证明:单位等式案例,146-160[Zbl 1202.68370]
阿斯皮纳尔,大卫;吕思,克里斯托夫;温特斯坦,丹尼尔,互动证明框架,161-175[Zbl 1202.68371]
奥特西耶,谢尔盖;费德勒,阿明;诺伊曼,托马斯;瓦格纳,马克,在整合科学文本编辑器和证据辅助系统时支持用户定义的符号,176-190[Zbl 1202.68372]
波拉克,埃瓦;Zalewska,安娜,米扎尔逻辑与集合论课程,191-204[Zbl 1202.68373]
科尔顿,西蒙;瓦格纳,丹尼尔,在数学发现中使用形式概念分析,205-220[Zbl 1202.68308]
科尔比诺,皮埃尔;卡利斯齐克,塞扎里,用于正式证明的合作存储库。基于wiki的解决方案,221-234[Zbl 1202.68377]
格拉博夫斯基,亚当;施瓦茨韦勒,克里斯托夫,修订作为维护数学知识库的基本工具,235-249[Zbl 1202.68465]
格鲁,克劳斯,Logiweb的层,250-264[Zbl 1202.68466]
霍洛扎尔,费亚尔富利亚;布朗,查德·E。《依赖型集合论中数学的形式表示》,265-279[兹布1202.68380]
卡马雷丁,费尔鲁兹;拉马尔,罗伯特;玛勒,曼努埃尔;威尔斯,J.B。,将自然语言还原为计算机数学输入法,280-295[Zbl 1202.68383]
卡马雷丁,费尔鲁兹;玛勒,曼努埃尔;雷特尔,克鲁兹托夫;威尔斯,J.B。数学叙事结构,312-296[Zbl 1202.68384]
科哈塞,安德里亚;科哈塞,迈克尔《重新审视MKM价值主张:从数学网络搜索到数学网络研究》,313-326[Zbl 1202.68467]
李,吉尔伯特;鲁德尼基,皮奥特,Mizar的替代骨料,327-341[Zbl 1202.68385]
矿工,罗伯特;穆纳瓦利,拉杰什,通过查询公式和数据规范化进行数学搜索的方法,342-355[Zbl 1202.68130]
诺曼,伊曼纽;科哈塞,迈克尔,扩展公式规范化\(\epsilon\)—数学知识的检索和共享,356-370[Zbl 1202.68157]
罗文斯卡·施瓦茨韦勒,阿格涅斯卡;施瓦茨韦勒,克里斯托夫《电气工程数学知识管理》,371-380[Zbl 1202.68468号]
萨尔多蒂·科恩,克劳迪奥;扎奇罗利,斯特凡诺,杂散消歧错误检测,381-392[Zbl 1202.68410]
优素福,阿布杜S。,数学搜索中的关联排序和命中内容生成方法,393-406[Zbl 1202.68161]

理学硕士:
68-06年 与计算机科学有关的会议记录、会议记录、收藏等
68T15型 定理证明(演绎、解析等)(MSC2010)
00B25号 特别关注的杂项会议记录
软件:
OEIS;尾端
PDF格式 BibTeX公司 XML 引用
全文: 内政部