Status, Abstract

Rudolf Berghammer

Institut für Informatik
Christian-Albrechts-Universität zu Kiel
Olshausenstr. 40, 24098 Kiel, Germany

Algebraic Visualization of Relations
Using RelView

.pdf .bib

Computer Algebra in Scientific Computing, CASC 2007

September 16 - 20, 2007, Bonn, Germany

Lect. Notes in Comput. Sci. 4770, p. 58-72

Gunther Schmidt

Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg, Germany

July 2007
Relations and graphs are widely used as modeling tools. For graphs, there exist highly elaborated graph drawing algorithms that help getting an impression on how the graph is structured. We concentrate here in an analogous way on visualizing relations represented as Boolean matrices as, for example, in the specific purpose Computer Algebra system RelView. This means rearranging the matrix appropriately, permuting rows and columns simultaneously or independently as required. In this way, many complex situations may successfully be handled in various application fields. We show how relation algebra and RelView can be combined to solve such tasks.