scientific article

zbMath1214.06001MaRDI QIDQ3060335

Gunther Schmidt

Publication date: 2 December 2010

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

latticesimulationorderBoolean operationsconcept analysisalgebraic operationsrelational mathematicsmulti-coveringGalois mechanism

Mathematics Subject Classification ID

Applications of graph theory (05C90) Mathematical economics (91B99) General applied mathematics (00A69) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06) Operations research and management science (90B99) Relational systems, laws of composition (08A02) Other classical set theory (including functions, relations, and set algebra) (03E20) Mathematical psychology (91E99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (37)

Kleisli, Parikh and Peleg compositions and liftings for multirelations ⋮ Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Type-n Arrow Categories ⋮ Relation lifting, a survey ⋮ Dependencies in relational models of databases ⋮ Handling noise in Boolean matrix factorization ⋮ Relations in linear algebra ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Categories of relations for variable-basis fuzziness ⋮ On the use of binary decision diagrams for solving problems on simple games ⋮ Sharpness in the Fuzzy World ⋮ Partiality. II: Constructed relation algebras ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ Exploring modal worlds ⋮ Inference engine based on closure and join operators over truth table binary relations ⋮ Multirelations with infinite computations ⋮ Hopscotch -- reaching the target hop by hop ⋮ Relational algebraic approach to the real numbers the additive group ⋮ Toward quality assessment of Boolean matrix factorizations ⋮ A general method for representing sets of relations by vectors ⋮ Dependences between domain constructions in heterogeneous relation algebras ⋮ Second-order properties of undirected graphs ⋮ Relational sums and splittings in categories of \(L\)-fuzzy relations ⋮ Change of base using arrow categories ⋮ Unnamed Item ⋮ Factorizing Boolean matrices using formal concepts and iterative usage of essential entries ⋮ Binary relations, Bäcklund transformations, and wave packet propagation ⋮ From-below approximations in Boolean matrix factorization: geometry and new algorithm ⋮ An algebraic approach to multirelations and their properties ⋮ Contact, closure, topology, and the linking of row and column types of relations ⋮ Membership values in arrow categories ⋮ A new algorithm for Boolean matrix factorization which admits overcovering ⋮ Cardinality of relations with applications ⋮ Blocks of the Direct Product of Tolerance Relations ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures ⋮ A linear algebra approach to OLAP

This page was built for publication: