TY  - JOUR
AU  - A. L. Chistov
TI  - An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers
JO  - Algebra i analiz
PY  - 2021
SP  - 162
EP  - 196
VL  - 33
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AA_2021_33_6_a8/
LA  - ru
ID  - AA_2021_33_6_a8
ER  -