×

zbMATH — the first resource for mathematics

RelView and Rath – two systems for dealing with relations. (English) Zbl 1203.68319
de Swart, Harrie (ed.) et al., Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Berlin: Springer (ISBN 3-540-20780-5/pbk). Lect. Notes Comput. Sci. 2929, 1-16 (2003).
Summary: In this paper we present two systems for dealing with relations, the RelView and the Rath system. After a short introduction to both systems we exhibit their usual domain of application by presenting some typical examples.
For the entire collection see [Zbl 1029.00017].

MSC:
68W30 Symbolic computation and algebraic computation
Software:
Ralf; Rath; RelView
PDF BibTeX XML Cite
Full Text: DOI