枣灰蝶属 swMATH ID: 961 软件作者: Bruno Buchberger、Tudor Jebelean、Temur Kutsia、Wolfgang Windsteiger、奥地利JKU Linz RISC研究所Theorema小组 描述: 软件系统Theorema为证明、求解和简化数学所有领域的公式提供了统一的逻辑和软件技术框架。Theorema由奥地利符号计算研究所(RISC)开发。 主页: http://www.risc.jku.at/research/theorema/software/ 关键词: 表单;Mathematica 3.0数学版 相关软件: Coq公司;数学软件;米扎尔;PVS公司;Nuprl公司;伊莎贝尔/HOL;分析;伊莎贝尔;TPTP公司;自动化;伊萨尔;HOL灯;枫叶;HOL公司;水獭;ACL2型;OMDoc公司;OMRS公司;CLP(柔性);IsaCoSy公司 引用于: 151文件 ORMS中也引用了该软件。 更多出版物: http://www.risc.jku.at/publications网站/ 标准条款 4出版物描述软件,包括4出版物在zbMATH中 年份 定理2.0:计算机辅助自然式数学。 Zbl 1451.68319号布赫伯格,布鲁诺;都铎Jebelean;特默尔库西亚;亚历山大·马列茨基;沃尔夫冈·温斯特伊格 2016 定理2.0:数学理论探索系统。 Zbl 1403.68229号沃尔夫冈·温斯特伊格 2014 格罗布纳在《Theorema》中立足。 Zbl 1437.13009号布赫伯格,布鲁诺;亚历山大·马列茨基 2014 对枣灰蝶属项目。 Zbl 0926.68131号布赫伯格,布鲁诺;都铎Jebelean;弗兰茨·克里夫纳;米尔恰马林;埃琳娜·托木阿;维萨鲁,丹妮拉 1997 全部的 前5名160位作者引用 30 布赫伯格,布鲁诺 18 都铎Jebelean 13 特默尔库西亚 11 沃尔夫冈·温斯特伊格 8 亚历山大·马列茨基 8 马库斯·罗森克兰兹 6 穆阿·约翰逊 5 伊萨贝拉博士 5 Farmer,William M。 5 贾尼契奇,普雷德拉格 5 亚历山大·利亚列茨基。 5 马林·米尔恰 5 中川,Koji 5 Tec,Loredana公司 4 艾达、铁雄 4 曼弗雷德·科伯 4 科瓦奇,劳拉·伊尔迪科 4 安德烈·帕斯科维奇 4 弗洛里娜·皮罗伊 4 乔治·雷根斯堡 4 朱迪特·罗布 4 康斯坦丁·沃奇宁 4 弗里克·威迪杰克 三 奥尔加·卡普洛蒂 三 阿德里安·克雷西恩 三 安纳托利·伊万诺维奇·德吉亚列夫 三 简·赫尔曼·杰弗斯 三 Fairouz D.卡马雷丁。 三 奥斯蒂克(Oostdijk)、马蒂恩·迪德里克(Martijn Diederik) 三 佩德罗·夸雷斯马 三 弗洛里安·拉贝 三 科林·罗亚特 三 克里斯托夫·施瓦茨韦勒 2 亚历山德罗·阿曼多 2 阿兰·邦迪 2 雅克·卡雷特 2 科恩·克莱森 2 亚历山德罗·科格里奥 2 阿杰·马赛尔·科恩 2 卢卡斯·狄克逊 2 Damien Doligez 2 Besik Dundua 2 法杜阿·古拉比 2 福斯托·金奇利亚 2 汉内·戈特利布森 2 汤姆·凯尔西 2 萨纳兹·汗·阿夫沙尔 2 迈克尔·科尔哈斯 2 鲍里斯·科涅夫 2 弗兰茨·克里夫纳 2 克里斯托夫·兰格 2 乌苏拉·马丁 2 莫罗霍夫茨,玛丽娜·K·。 2 尼古拉·波波夫 2 维吉尔·普雷沃斯托 2 彼得·鲁德尼基 2 塞迪基,昂山素季 2 尼古拉斯·斯莫尔博内 2 斯特拉图拉特,索林 2 索菲涅·塔哈尔 2 安德烈·特雷布利克 2 维萨鲁,丹妮拉 1 安德鲁·亚当斯(Andrew A.Adams)。 1 马克西米利安·阿尔盖德 1 艾琳娜·安德烈伊卡 1 安纳托利·安尼西莫夫。 1 文森特·阿拉万蒂诺斯 1 安德里亚·阿斯佩蒂 1 谢尔盖·奥特西尔 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 乔纳森·迈克尔·博文 1 马可·布赖特·卡米纳蒂 1 罗伯特·李,警察 1 路易斯·克鲁兹·菲利佩 1 乔塔姆·达斯古普塔 1 詹姆斯·哈罗德·达文波特 1 Cvetan Dunchev公司 1 马丁·邓斯坦 1 克劳迪奥·杜普雷 1 英格兰,马修 1 雅克·弗莱里奥特。 1 何塞·路易斯·弗雷尔 1 穆罕·加内萨林加姆 1 弗拉基米尔·彼得罗维奇·格特 1 威廉·蒂莫西·高尔斯 1 格特·马丁·格雷尔 1 塞雷塞·哈丁 1 奥斯曼·哈桑 1 Hoon Hong 1 Ioakimidis、Nikolaos Ioakim 1 沙迦·伊扎基 1 沃尔夫拉姆·卡尔 1 Yu Kapitonova。五、。 1 亚塞姆·卡塞姆 1 托尔斯滕·科赫 1 沃尔夫拉姆·科普夫(Wolfram A.Koepf)。 1 费利克斯·科萨克 1 科瓦奇(Emőd) 1 Küchlin,Wolfgang W。 1 Lia Kurtanidze …还有60多位作者 全部的 前5名26篇连载文章中引用 17 符号计算杂志 10 蒂米·奥拉的阿奈勒大学。Seria Matematic??信息 9 计算机科学课堂讲稿 8 自动推理杂志 2 模拟中的数学和计算机 2 应用逻辑杂志 2 形式化推理杂志 2 程序设计中的逻辑与代数方法杂志 1 机械学报 1 人工智能 1 信息与计算 1 计算力学 1 计算的形式方面 1 多维系统及信号处理 1 控制论与系统分析 1 逻辑、语言与信息杂志 1 数学科学杂志(纽约) 1 函数编程杂志 1 数学与人工智能年鉴 1 TICMI公告 1 RACSAM公司。《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯 1 应用数学、信息学和力学 1 理论计算机科学电子笔记 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 全部的 前5名22个领域被引用 147 计算机科学(68至XX) 26 数学逻辑和基础(03-XX) 16 总体主题;集合(00-XX) 14 交换代数(13-XX) 6 常微分方程(34-XX) 6 数值分析(65-XX) 4 几何图形(51-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 数论(11-XX) 2 场论和多项式(12-XX) 2 积分方程(45-XX) 2 可变形固体力学(74-XX) 2 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 实际功能(26年X月X日) 1 偏微分方程(35-XX) 1 一般拓扑结构(54至XX) 1 流形和细胞复合体(57至XX) 1 光学、电磁理论(78-XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 1 数学教育(97-XX) 按年份列出的引文