工商管理硕士

此软件的关键字
zbMATH中的参考文献(参考文献 17条 )
科哈塞,迈克尔; Sucan,Ioan:数学公式搜索引擎(2006) 西格曼,Jörg; 本斯米勒,克里斯托夫; Autexier,Serge:计算机支持的数学与(\Omega)MEGA(2006) 本斯米勒,克里斯托夫; 梅尔,安德烈亚斯; 索尔格,沃尔克:桥接定理证明与数学知识检索(2005) 科哈塞,安德里亚; 迈克尔·科哈塞:CPoint:消解作者的困境(2004) 西格曼,Jörg; Benzmüller,Christoph:(\Omega)MEGA:计算机支持的数学(2004) 科哈塞,迈克尔; Anghelache,Romeo:面向结构化数学知识的协作内容管理和版本控制(2003) SacerdotiCoen,Claudio:从证明助手到分布式数学库:提示和陷阱(2003) 西格曼,Jörg; 本斯米勒,克里斯托夫; 费德勒,阿明; 梅尔,安德烈亚斯; 诺曼,伊曼纽; Pollet,Martin:用(\Omega)MEGA进行证明开发:(\sqrt2)的不合理性(2003) 梅勒姆,T.F.:成功。 嵌入式证明引擎软件体系结构研究(2002) 西克曼,J。; 本兹米勒,C。; 费德勒,A。; 梅尔,A。; Pollet,M.:用(\Omega)MEGA:(\sqrt2)证明开发是不合理的(2002) 本斯米勒,克里斯托夫; 梅尔,安德烈亚斯; Sorge,Volker:分布式断言检索(2001) 卡普罗蒂,O。; 科恩:论OpenMath在交互式数学文档中的作用(2001) Kohlhase,Michael:OMDOC:面向数学知识管理、分配和教学的互联网标准(2001) 科哈塞,迈克尔; 弗兰克,安德烈亚斯:MBase:数学软件系统集成的知识和背景表示(2001) Voronkov,Andrei:算法,数据结构和其他问题在高效自动推理(2001) 弗兰克,安德烈亚斯; Kohlhase,Michael:系统描述:MBase,一个开放的数学知识库(2000) 弗兰克,安德烈亚斯; Michael Kohlhase:MBase:在关系数据库中表示数学知识(1999)