重新查看 swMATH编号： 798 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；冈瑟·施密特；温特，迈克尔 描述： RelView-System是一种交互式工具，用于计算机支持的布尔矩阵或有向图表示的关系操作，特别是用于原型关系规范和程序。它是由基尔克里斯蒂安·阿尔布雷希茨大学计算机科学系开发的。此网页描述了如何获取RelView并提供了一些进一步的信息。 主页： http://www.informatik.uni-kiel.de/~progsys/relview/ 相关软件： 伊莎贝尔/HOL;校准仪9;Rath公司;梅斯4;存档正式证据;大锤;HOL公司;伊莎贝尔;TituRel公司;哈斯克尔;关系代数;Coq公司;克莱纳代数;斯通代数;Why3号机组;拉尔夫;Z轴;算法97;CUDD公司;github 引用于： 106文件 更多出版物： https://www.informatik.uni-kiel.de网站/~progsys/relview/papers 标准文章 2出版物描述软件，包括2出版物以zbMATH为单位 年份 RelView–基于OBDD的关系计算机代数系统。 Zbl 1144.68384号鲁道夫·伯哈默;弗兰克·诺伊曼 2005 RelView和Rath–两种处理关系的系统。 Zbl 1203.68319号鲁道夫·伯哈默;冈瑟·施密特;温特，迈克尔 2003 全部的 前5名64位作者引用 74 鲁道夫·伯格哈默 13 温特，迈克尔 10 哈里·斯沃特。 10 阿格涅斯卡·鲁西诺夫斯卡 7 冈瑟·施密特 6 沃尔特·古特曼 6 布列塔·凯登 5 亚历山大·弗伦克 5 托尔斯滕·霍夫曼 5 Stucke，Insa公司 4 彼得·霍夫纳 4 弗兰克·诺伊曼 3 塞巴斯蒂安·费舍尔 3 伯恩哈德·莫勒 3 Henning施诺尔 3 乔治·斯特鲁斯 2 斯特凡·博卢斯 2 马克西米利亚诺·克里斯蒂亚 2 尼基塔·达尼连科 2 Joosten、Stef Maria Mathias 2 巴巴拉·利奥尼乌克 2 米兰，乌尔夫 2 吉安弗兰科·罗西 2 Andranik S.Tangian。 2 詹·威勒姆，范德瑞特 1 马修·阿兰 1 阿拉斯代尔·阿姆斯特朗 1 弗朗西斯·阿坦波雷 1 罗尼·本克 1 伯恩德·布拉埃尔 1 路德威克·查贾 1 Dang，Han-Hing（韩红） 1 朱尔斯·德沙奈斯 1 弗洛里安·迪德里奇 1 伊沃·杜恩施 1 罗伯·埃格洛特 1 帕特里克·埃克隆德。 1 Loe M.G.Feijs。 1 安德烈亚·福米萨诺 1 米歇尔·格拉比施 1 罗宾·赫希 1 阿里·穆罕默德·贾瓦 1 贾森·雅斯科尔卡 1 沃尔夫拉姆·卡尔 1 川原康夫 1 赫德里，里达 1 迪伦·基林贝克 1 Krikhaar，R.L。 1 米贾·库尔琴斯基 1 马尔滕·马克思 1 玛丽安娜·尼科洛西·阿斯蒙多 1 何塞·努诺，奥利维拉 1 约格·普鲁曼 1 谢尔盖·波利亚科夫斯基 1 尼古拉斯·罗宾森·奥布莱恩 1 马克·鲁本斯 1 丹尼尔·萨维茨基 1 雷娜特·施密特（Renate A.Schmidt）。 1 彼得·施奈德 1 米琳·桑托斯·泰西拉 1 十个Cate，Balder David 1 冯·卡格尔（von Karger），伯加德（Burghard） 1 Tjark韦伯 1 安德烈亚斯·沃尔夫 全部的 前5名22篇连载文章中引用 13 程序设计中的逻辑和代数方法杂志 9 欧洲运筹学杂志 7 逻辑与代数程序设计杂志 3 信息学报 3 计算机基础理论 2 信息科学 2 理论计算机科学 2 计算机科学课堂讲稿 1 离散数学 1 符号逻辑杂志 1 Monatsheft für Mathematik 1 理论与决策 1 计算机程序设计科学 1 社会选择与福利 1 符号计算杂志 1 自动推理杂志 1 人工智能综述 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 计算系统理论 1 RAIRO公司。理论信息学及其应用 1 通用计算机科学杂志 全部的 前5名在14个字段中引用 87 计算机科学（68至XX） 44 数学逻辑和基础（03-XX） 21 博弈论、经济学、金融和其他社会和行为科学（91-XX） 15 组合数学（05-XX） 7 有序，格，有序代数结构（06-XX） 6 运筹学、数学规划（90-XX） 5 一般拓扑结构（54至XX） 4 范畴理论；同调代数（18-XX） 3 一般代数系统（08-XX） 3 线性代数和多线性代数；矩阵理论（15-XX） 2 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 按年份列出的引文