Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry

DOI10.1007/S10559-022-00513-7MaRDI QIDQ2103834zbMATH OpenOpenAlexFDO

Authors M. S. Lvov

Publication date 9 December 2022

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10559-022-00513-7

zbMATH Keywords

algorithms of critical pair/completionapplied algebra of setscombinatorial geometrymembership problemrepresentation problem

Mathematics Subject Classification ID

Theory of computing (68Qxx) Artificial intelligence (68Txx) Algorithms in computer science (68Wxx)

Recommendations

• The replenishment algorithm in algebras of sets
• Intersection of term equality sets in finitely defined algebras
• On the representation of the lattices of the algebraic sets of the universal algebras
• Families of sets not belonging to algebras and combinatorics of finite sets of ultrafilters
• A decision method for certain algebraic geometry problems

Cites work

• Algebraic approach to the problem of solving systems of linear inequalities
• Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
• scientific article; zbMATH DE number 3896290 (Why is no real title available?)
• scientific article; zbMATH DE number 3952003 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• Ideals, Varieties, and Algorithms
• Polynomial invariants for linear loops

This page was built for publication: Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry

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