首页> 外文会议>International Workshop on Computer Algebra in Scientific Computing >RELVIEW - An OBDD-Based Computer Algebra System for Relations

【24h】

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。经过简短介绍欧洲常谈局的关系和系统的实施，我们通过呈现两个典型的例子来展示其应用。

著录项

来源
《International Workshop on Computer Algebra in Scientific Computing 》|2005年||共12页
会议地点
作者

展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

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] . Rudolf Berghammer, Frank Neumann International Workshop on Computer Algebra in Scientific Computing(CASC 2005); 20050912-16; Kalamata(GR) . 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

摘要

著录项

相似文献

相关主题

期刊订阅