Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
type: Item
instance of: scholarly article
title: Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
zbMATH Open document ID: 1362.68297
author: Rudolf Berghammer
author: Michael Winter
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-03-20T00:00:00Z
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 54A99
zbMATH DE Number: 6696080
zbMATH Keywords: relation algebra
zbMATH Keywords: finite topology base
zbMATH Keywords: subbase RelView tool
describes a project that uses: RelView
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.12.002
OpenAlex ID: W2573726090
Wikidata QID: Q114851579
cites work: Algebraic topology of finite topological spaces and applications
cites work: Q4415085
cites work: Computer Algebra in Scientific Computing
cites work: Applying relation algebra and RelView to solve problems on orders and lattices
cites work: Computing and Visualizing Closure Objects Using Relation Algebra and RelView
cites work: Embedding mappings and splittings with applications
cites work: Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
cites work: Q5522002
cites work: Relational Methods in Computer Science
cites work: The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
cites work: Struktur- und Anzahlformeln für Topologien auf endlichen Mengen
cites work: Counting finite posets and topologies
cites work: On the computer enumeration of finite topologies
cites work: Q4064160
cites work: Singular homology groups and homotopy groups of finite topological spaces
cites work: Q3703918
cites work: Contact, closure, topology, and the linking of row and column types of relations
cites work: A Point-Free Relation-Algebraic Approach to General Topology
cites work: Finite Topological Spaces
DOI: 10.1016/J.JLAMP.2016.12.002
description: scientific article; zbMATH DE number 6696080