2 citations · 2 across the 3 of their papers we have counts for
1 paper · 2 filters
Dmitriy Zhuk
We develop a new theory of strong subalgebras and linear congruences that are defined globally. Using this theory we provide a new proof of the correctness of Zhuk's algorithm for…