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

DOI10.1007/s10559-022-00513-7OpenAlexW4310792615MaRDI QIDQ2103834

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

combinatorial geometrymembership problemrepresentation problemalgorithms of critical pair/completionapplied algebra of sets

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
• Algebraic approach to the problem of solving systems of linear inequalities
• Polynomial invariants for linear loops
• Ideals, Varieties, and Algorithms

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