枣灰蝶属 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/ 关键词： 表单;数学3.0 相关软件： Coq公司;数学软件;米扎尔;Nuprl公司;PVS公司;伊莎贝尔/霍尔;分析;伊莎贝尔;TPTP公司;自动化;伊萨尔;枫树;HOL公司;HOL灯;水獭;ACL2型;OMDoc公司;OMRS公司;CLP（柔性）;IsaCoSy公司 引用于： 150文件 ORMS中也引用了该软件。 更多出版物： http://www.risc.jku.at/publications网站/ 标准条款 4出版物描述软件，包括4出版物以zbMATH为单位 年份 定理2.0：计算机辅助自然式数学。 Zbl 1451.68319号布赫伯格，布鲁诺;都铎王朝的杰贝利安人;特穆尔库西亚;亚历山大·马列茨基;沃尔夫冈·温斯特伊格 2016 格罗布纳在《Theorema》中立足。 Zbl 1437.13009号布赫伯格，布鲁诺;亚历山大·马列茨基 2014 定理2.0：数学理论探索系统。 Zbl 1403.68229号沃尔夫冈·温斯特伊格 2014 对枣灰蝶属项目。 Zbl 0926.68131号布赫伯格，布鲁诺;都铎Jebelean;弗兰茨·克里夫纳;马林·米尔恰;埃琳娜·托木阿;维萨鲁，丹妮拉 1997 全部的 前5名159位作者引用 30 布赫伯格，布鲁诺 18 都铎Jebelean 12 特默尔库西亚 11 沃尔夫冈·温斯特伊格 8 亚历山大·马列茨基 8 马库斯·罗森克兰兹 6 穆阿·约翰逊 5 mnesc博士，Isabela 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 亚当斯，安德鲁·A。 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 …还有59位作者 全部的 前5名25篇连载文章中引用 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 计算机代数中的ACM通信 全部的 前5名23个字段中引用 146 计算机科学（68至XX） 27 数学逻辑和基础（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 特殊功能（33至XX） 1 偏微分方程（35-XX） 1 一般拓扑结构（54至XX） 1 流形和细胞复合体（57至XX） 1 光学、电磁理论（78-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文