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

DOI10.1007/978-3-319-57418-9_4MaRDI QIDQ5283203zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• New approach for closure spaces by relations
• Investigation of topological spaces using relators
• Finite relational structure models of topological spaces and maps
• scientific article; zbMATH DE number 1127906
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• scientific article; zbMATH DE number 5778306
• A theory of finite closure spaces based on implications
• scientific article; zbMATH DE number 5018569
• A GALOIS CORRESPONDENCE BETWEEN CLOSURE SPACES AND RELATIONAL SYSTEMS
• scientific article; zbMATH DE number 775163

Cites work

• 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 3273714 (Why is no real title available?)
• scientific article; zbMATH DE number 3028682 (Why is no real title available?)
• A Further Note on Closure and Interior Operators
• A Point-Free Relation-Algebraic Approach to General Topology
• Characterization of Kuratowski 14-Sets
• Closure and interior in finite topological spaces
• Column-wise extendible vector expressions and the relational computation of sets of sets
• Computer Algebra in Scientific Computing
• Contact, closure, topology, and the linking of row and column types of relations
• Counting finite posets and topologies
• Embedding mappings and splittings with applications
• Relational mathematics
• Remarks on finite topological spaces
• Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
• The Kuratowski closure-complement theorem
• Variations on Kuratowski's 14-set theorem

Cited in

(4)

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

Describes a project that uses

Uses Software

• RelView

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

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