|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2003 |
1. |
И. Ю. Чупаева, “Автоматическое доказательство и анализ геометрических теорем, заданных в бескоординатной форме, с помощью метода антикоммутативных базисов Грёбнера”, Фундамент. и прикл. матем., 9:3 (2003), 213–228 ; I. Yu. Tchoupaeva, “Automated proving and analysis of geometric theorems in coordinate-free form by using the anticommutative Gröbner basis method”, J. Math. Sci., 135:5 (2006), 3409–3419 |
|