Question: Which mathematician contributed most to the decidability of various algebraic groups, Anatoly Maltsev or Semyon Aranovich Gershgorin?
Sentence (from "Semyon Aranovich Gershgorin"): His contributions include the Gershgorin circle theorem.
Relevant evidence: Yes