The replenishment algorithm in algebras of sets

DOI10.1007/s10559-021-00407-0zbMath1484.68345OpenAlexW3203786568MaRDI QIDQ2058702

Y. Tarasich, M. S. Lvov

Publication date: 9 December 2021

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

Full work available at URL: https://doi.org/10.1007/s10559-021-00407-0

zbMATH Keywords

standard basisconstructive algebras of setsreplenishment algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational real algebraic geometry (14Q30)

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The replenishment algorithm in algebras of sets