Solving algorithmic problems on orders and lattices by relation algebra and RELVIEW

  • Authors:
  • Rudolf Berghammer

  • Affiliations:
  • Institut für Informatik, Universität Kiel, Kiel

  • Venue:
  • CASC'06 Proceedings of the 9th international conference on Computer Algebra in Scientific Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.