RELVIEW - An OBDD-Based Computer Algebra System for Relations

机译：RELVIEW-基于OBDD的关系计算机代数系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present an OBDD-based Computer Algebra system for relational algebra, called REL VIEW. After a short introduction to the OBDD-implementation of relations and the system, we exhibit its application by presenting two typical examples.

机译：我们提出了一种用于关系代数的基于OBDD的计算机代数系统，称为REL VIEW。在简短介绍关系和系统的OBDD实现之后，我们通过展示两个典型示例来展示其应用。

著录项

来源
《International Workshop on Computer Algebra in Scientific Computing(CASC 2005); 20050912-16; Kalamata(GR)》|2005年|P.40-51|共12页
会议地点 Kalamata(GR)
作者
Rudolf Berghammer; Frank Neumann;
展开▼
作者单位

Institut fuer Informatik und Praktische Mathematik, Christian-Albrechts-Universitaet Kiel, Olshausenstrasse 40, D-24098 Kiel;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;代数、数论、组合理论;
关键词

相似文献

外文文献
中文文献
专利

1. Computing and visualizing banks sets of dominance relations using relation algebra and RelView [J] . Rudolf Berghammer Journal of Logic and Algebraic Programming . 2013,第3a4期

机译：使用关系代数和RelView计算和可视化银行支配关系集
2. Solving computational tasks on finite topologies by means of relation algebra and the RELVIEW tool [J] . Berghammer Rudolf, Winter Michael The Journal of logic and algebraic programming . 2017,第Apra期

机译：通过关系代数和RELVIEW工具解决有限拓扑上的计算任务
3. Spatial voting games, relation algebra and RelView [J] . Rudolf Berghammer, Agnieszka Rusinowska, Harrie de Swart Journal of Logic and Algebraic Programming . 2014,第2期

机译：空间投票游戏，关系代数和RelView
4. RELVIEW - An OBDD-Based Computer Algebra System for Relations [C] . International Workshop on Computer Algebra in Scientific Computing . 2005

机译：relview - 基于OBDD的计算机代数系统
5. Computer algebra systems in mathematics education: A case study examining the introduction of computer algebra systems to secondary mathematics teachers. [D] . Nowakowski, Anthony Joseph. 1992

机译：数学教育中的计算机代数系统：一个案例研究，研究了将计算机代数系统引入中学数学教师的情况。
6. ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra [O] . Franziska Hinkelmann, Madison Brandon, Bonny Guang, 2011

机译：ADAM：使用计算机代数分析生物系统的离散模型
7. Computing tournament solutions using relation algebra and RelView [O] . Berghammer, Rudolf, Rusinowska, Agnieszka, De Swart, Harrie 2013

机译：使用关系代数和RelView计算锦标赛解决方案
8. HOMAR: A computer code for generating homotopic grids using algebraic relations: User's manual [R] . Moitra, Anutosh 1989

机译：HOmaR：使用代数关系生成同伦网格的计算机代码：用户手册

RELVIEW - An OBDD-Based Computer Algebra System for Relations

摘要

著录项

相似文献

相关主题

期刊订阅