Complete first-order theories of some classical matrix groups over algebraic integers

Autor: Myasnikov, Alexei G., Sohrabi, Mahmood
Zdroj: In Journal of Algebra 15 September 2021 582:206-231
Databáze: ScienceDirect