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

DOI10.1016/J.JLAMP.2016.12.002MaRDI QIDQ516028zbMATH OpenOpenAlexWikidataFDO

Authors 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

finite topology baserelation algebrasubbase RelView tool

Mathematics Subject Classification ID

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

Recommendations

• Applying relation algebra and RelView to solve problems on orders and lattices
• Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
• Relational topology
• Relation-algebraic computation of fixed points with applications
• Computer Algebra in Scientific Computing

Cites work

• A Point-Free Relation-Algebraic Approach to General Topology
• Algebraic topology of finite topological spaces and applications
• Applying relation algebra and RelView to solve problems on orders and lattices
• Column-wise extendible vector expressions and the relational computation of sets of sets
• Computer Algebra in Scientific Computing
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Contact, closure, topology, and the linking of row and column types of relations
• Counting finite posets and topologies
• Embedding mappings and splittings with applications
• Finite Topological Spaces
• scientific article; zbMATH DE number 3929034 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 1953899 (Why is no real title available?)
• scientific article; zbMATH DE number 3234211 (Why is no real title available?)
• On the computer enumeration of finite topologies
• Relational Methods in Computer Science
• Singular homology groups and homotopy groups of finite topological spaces
• Struktur- und Anzahlformeln für Topologien auf endlichen Mengen
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey

Cited in

(10)

• Cryptomorphic topological structures: a computational, relation-algebraic approach
• Relational topology
• Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces
• Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView
• Computing and visualizing Banks sets of dominance relations using relation algebra and RelView
• First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth
• Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces
• Computer Algebra in Scientific Computing
• Relation-algebraic computation of fixed points with applications
• Applying relation algebra and RelView to solve problems on orders and lattices

Describes a project that uses

Uses Software

• RelView

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q516028)