2 papers
math.CO2026
Error analysis of quantization combined with Hadamard transforms
Matvei Kotov, Lorenzo Ciccarelli
In this paper, we consider an image coding process consisting of the following four steps: a direct transformation, a direct quantization, an inverse quantization, and an inverse t…
math.LO2024
On equationally Noetherian predicate structures
Ivan Buchinskiy, Matvei Kotov, Alexander Treier
In this paper, we prove a criterion for a predicate structure to be equationally Noetherian.