Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool

DOI10.1016/j.jlamp.2016.12.002zbMath1362.68297OpenAlexW2573726090WikidataQ114851579 ScholiaQ114851579MaRDI QIDQ516028

Rudolf Berghammer, Michael Winter

Publication date: 20 March 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.12.002

zbMATH Keywords

relation algebrafinite topology basesubbase RelView tool

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cylindric and polyadic algebras; relation algebras (03G15) Generalities in topology (54A99)

Related Items (4)

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH ⋮ Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces

Uses Software

• RelView

Cites Work

• Contact, closure, topology, and the linking of row and column types of relations
• Applying relation algebra and RelView to solve problems on orders and lattices
• Embedding mappings and splittings with applications
• Counting finite posets and topologies
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• Algebraic topology of finite topological spaces and applications
• Singular homology groups and homotopy groups of finite topological spaces
• Struktur- und Anzahlformeln für Topologien auf endlichen Mengen
• Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Relational Methods in Computer Science
• A Point-Free Relation-Algebraic Approach to General Topology
• Computer Algebra in Scientific Computing
• Finite Topological Spaces
• On the computer enumeration of finite topologies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool