Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool (Q516028): Difference between revisions

@@ Property / describes a project that uses @@
+RelView
@@ Property / describes a project that uses: RelView / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2016.12.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2573726090
@@ Property / OpenAlex ID: W2573726090 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851579
@@ Property / Wikidata QID: Q114851579 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic topology of finite topological spaces and applications
+Normal rank
@@ Property / cites work @@
+Q4415085
@@ Property / cites work: Q4415085 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Algebra in Scientific Computing
@@ Property / cites work: Computer Algebra in Scientific Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Applying relation algebra and RelView to solve problems on orders and lattices
+Normal rank
@@ Property / cites work @@
+Computing and Visualizing Closure Objects Using Relation Algebra and RelView
+Normal rank
@@ Property / cites work @@
+Embedding mappings and splittings with applications
+Normal rank
@@ Property / cites work @@
+Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets
+Normal rank
@@ Property / cites work @@
+Q5522002
@@ Property / cites work: Q5522002 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
+Normal rank
@@ Property / cites work @@
+Struktur- und Anzahlformeln für Topologien auf endlichen Mengen
+Normal rank
@@ Property / cites work @@
+Counting finite posets and topologies
@@ Property / cites work: Counting finite posets and topologies / rank @@
+Normal rank
@@ Property / cites work @@
+On the computer enumeration of finite topologies
@@ Property / cites work: On the computer enumeration of finite topologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4064160
@@ Property / cites work: Q4064160 / rank @@
+Normal rank
@@ Property / cites work @@
+Singular homology groups and homotopy groups of finite topological spaces
+Normal rank
@@ Property / cites work @@
+Q3703918
@@ Property / cites work: Q3703918 / rank @@
+Normal rank
@@ Property / cites work @@
+Contact, closure, topology, and the linking of row and column types of relations
+Normal rank
@@ Property / cites work @@
+A Point-Free Relation-Algebraic Approach to General Topology
+Normal rank
@@ Property / cites work @@
+Finite Topological Spaces
@@ Property / cites work: Finite Topological Spaces / rank @@
+Normal rank