Тип публикации: статья из журнала
Год издания: 2008
Идентификатор DOI: 10.1134/S1064562408020312
Ключевые слова: Theorem proving, Questions, Unipotent subgroups, Numerical methods
Журнал: DOKLADY MATHEMATICS
Выпуск журнала: Vol. 77, Is. 2
Номера страниц: 284-287
ISSN журнала: 10645624
Место издания: NEW YORK
Издатель: MAIK NAUKA/INTERPERIODICA/SPRINGER