卡斯滕·霍曼
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
1990 – 1999
1999 [注2] 皮埃尔吉奥·贝尔托利 , 雅克·卡尔梅特 , 福斯托·朱奇利亚 , 卡斯滕·霍曼 :
定理证明器和计算机代数系统的规范和集成。 芬丹。 信息学 39 ( 1-2 ) : 39-57 ( 1999 ) 1998 【c6】 皮埃尔吉奥·贝尔托利 , 雅克·卡尔梅特 , 福斯托·朱奇利亚 , 卡斯滕·霍曼 :
定理证明器和计算机代数系统的规范和集成。 AISC公司 1998 : 94-106 1997 【b2】 卡斯滕·霍曼 :
符号学Lösen数学问题在Kooperation算法和逻辑系统中的应用。 DISKI公司 152, 德国圣奥古斯丁Infix Verlag 1997 ,国际标准图书编号 3-89601-152-9 【b1】 卡斯滕·霍曼 :
符号学Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme。 德国卡尔斯鲁厄大学, 1997 [j1] 雅克·卡尔梅特 , 卡斯滕·霍曼 :
走向数学软件总线。 理论。 计算。 科学。 187 ( 1-2 ) : 221-230 ( 1997 ) 1996 【c5】 卡斯滕·霍曼 , 雅克·卡尔梅特 :
符号数学推理和计算的结构。 DISCO公司 1996 : 216-227 【c4】 雅克·卡尔梅特 , 卡斯滕·霍曼 :
逻辑和符号计算系统的通信和协作机制分类。 FroCoS公司 1996 : 221-234 1995 【c3】 克莱门斯·巴拉林 , 卡斯滕·霍曼 , 雅克·卡尔梅特 :
定理和算法:Isabelle和Maple之间的接口。 ISSAC公司 1995 : 150-157 1994 【c2】 卡斯滕·霍曼 , 雅克·卡尔梅特 :
结合定理证明和符号数学计算。 AISMC公司 1994 : 18-29 1992 【c1】 雅克·卡尔梅特 , 卡斯滕·霍曼 , Indra A.Tjandra公司 :
统一域和抽象计算结构。 AISMC公司 1992 : 166-177
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)