Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets

DOI10.1007/978-3-319-19797-5_12zbMath1432.68594OpenAlexW750724826MaRDI QIDQ2941178

Rudolf Berghammer

Publication date: 27 August 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-19797-5_12

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cylindric and polyadic algebras; relation algebras (03G15) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (4)

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ A general method for representing sets of relations by vectors ⋮ Relational computation of sets of relations ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool

Uses Software

• RelView

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
• Multirelations with infinite computations
• A relation-algebraic approach to simple games
• Relation-algebraic computation of fixed points with applications
• Applying relation algebra and RelView to solve problems on orders and lattices
• Sophisticated voting outcomes and agenda control
• A relation-algebraic view on evolutionary algorithms for some graph problems
• Relation-algebraic modeling and solution of chessboard independence and domination problems
• Strongly regular graphs with (-1, 1, 0) adjacency matrix having eigenvalue 3
• Approximating the Permanent
• Stochastic Control and Mathematical Modeling
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Evaluating Sets of Search Points Using Relational Algebra
• Computer Algebra in Scientific Computing
• On the calculus of relations
• Relational Methods in Computer Science

This page was built for publication: Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets