Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces

DOI10.1007/978-3-319-57418-9_4zbMath1486.54003OpenAlexW2607600423MaRDI QIDQ5283203

Rudolf Berghammer

Publication date: 21 July 2017

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-57418-9_4

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Related Items (4)

Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Boundary-border extensions of the Kuratowski monoid ⋮ A general method for representing sets of relations by vectors ⋮ Relational computation of sets of relations

Uses Software

• RelView

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• Contact, closure, topology, and the linking of row and column types of relations
• Embedding mappings and splittings with applications
• Counting finite posets and topologies
• Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
• Variations on Kuratowski's 14-Set Theorem
• A Point-Free Relation-Algebraic Approach to General Topology
• Computer Algebra in Scientific Computing
• Closure and interior in finite topological spaces
• Characterization of Kuratowski 14-Sets
• Remarks on finite topological spaces
• A Further Note on Closure and Interior Operators

This page was built for publication: Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces