Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView

机译：用关系代数和RelView解决有序和格的算法问题

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Relation algebra is well suited for dealing with many problems on ordered sets. Introducing lattices via order relations, this suggests to apply it and tools for its mechanization for lattice-theoretical problems, too. We combine relation algebra and the specific purpose Computer Algebra system RelView to solve some algorithmic problems.

机译：关系代数非常适合处理有序集上的许多问题。通过顺序关系介绍晶格，这建议将其及其机械化工具应用于晶格理论问题。我们将关系代数和专用于计算机的代数系统RelView相结合，以解决一些算法问题。

著录项

来源
《International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD)》|2006年|49-63|共15页
会议地点 Chisinau(MD)
作者
Rudolf Berghammer;
展开▼
作者单位

Institut fuer Informatik, Universitaet Kiel Olshausenstrasse 40, D-24098 Kiel;

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

相似文献

外文文献
中文文献
专利

1. Applying relation algebra and RelView to solve problems on orders and lattices [J] . Rudolf Berghammer Acta Informatica . 2008,第3期

机译：应用关系代数和RelView解决阶数和晶格问题
2. Applying relation algebra and RelView to solve problems on orders and lattices [J] . Rudolf Berghammer Acta Informatica . 2008,第3期

机译：应用关系代数和RelView解决阶数和晶格问题
3. 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工具解决有限拓扑上的计算任务
4. Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView [C] . Rudolf Berghammer International Workshop on Computer Algebra in Scientific Computing(CASC 2006); 20060911-15; Chisinau(MD) . 2006

机译：用关系代数和RelView解决有序和格的算法问题
5. ALGORITHMS USING LIE TRANSFORMATION GROUPS TO SOLVE FIRST ORDER ORDINARY DIFFERENTIAL EQUATIONS ALGEBRAICALLY. [D] . CHAR, BRUCE WALTER. 1980

机译：使用lie变换组的算法代数求解一阶常微分方程。
6. Intelligently deciphering unintelligible designs: algorithmic algebraic model checking in systems biology [O] . Bud Mishra 2009

机译：智能破译难以理解的设计：系统生物学中的算法代数模型检查
7. The $sl_2$ loop algebra symmetry of the XXZ spin chain: an algorithm for the degeneracy of a regular Bethe state(Solvable Lattice Models 2004 : Recent Progress on Solvable Lattice Models ) [O] . Deguchi Tetsuo 2006

机译：XXZ自旋链的$ sl_2 $循环代数对称性：正则Bethe状态的简并度的算法（可解格子模型2004：可解格子模型的最新进展）
8. Solving Algebraically Explicit DAES with the Manpack-Manifold-Algorithms [R] . Rheinboldt, W. C. 1996

机译：用manpack-manifold算法求解代数显式DaEs

Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView

摘要

著录项

相似文献

相关主题

期刊订阅