Geodesic
An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers
Algebra i analiz, Tome 33 (2021) no. 6, pp. 162-196.

Voir la notice de l'article provenant de la source Math-Net.Ru

@article{AA_2021_33_6_a8,
     author = {A. L. Chistov},
     title = {An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers},
     journal = {Algebra i analiz},
     pages = {162--196},
     publisher = {mathdoc},
     volume = {33},
     number = {6},
     year = {2021},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AA_2021_33_6_a8/}
}
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  - 
%0 Journal Article
%A A. L. Chistov
%T An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers
%J Algebra i analiz
%D 2021
%P 162-196
%V 33
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AA_2021_33_6_a8/
%G ru
%F AA_2021_33_6_a8
A. L. Chistov. An efficient algorithm for testing the solvability for a system of polynomial equations over $p$-adic integers. Algebra i analiz, Tome 33 (2021) no. 6, pp. 162-196. http://geodesic.mathdoc.fr/item/AA_2021_33_6_a8/

[1] Chistov A. L., “Algoritm polinomialnoi slozhnosti dlya razlozheniya mnogochlenov na neprivodimye mnozhiteli i nakhozhdenie komponent mnogoobraziya v subeksponentsialnoe vremya”, Zap. nauch. semin. LOMI, 137, 1984, 124–188

[2] Chistov A. L., “Effektivnaya gladkaya stratifikatsiya algebraicheskogo mnogoobraziya v nulevoi kharakteristike i ee prilozheniya”, Zap. nauch. semin. POMI, 266, 2000, 254–311 ; http://www.mathsoc.spb.ru/preprint/2004/04-13.ps.gz

[3] Chistov A. L., “Uluchshenie otsenki slozhnosti dlya resheniya sistem algebraicheskikh uravnenii”, Zap. nauch. semin. POMI, 390, 2011, 299–306

[4] Chistov A. L., “Sistemy s parametrami ili effektivnoe reshenie sistem polinomialnykh uravnenii $33$ goda spustya. I”, Zap. nauch. semin. POMI, 462, 2017, 122–166

[5] Chistov A. L., “Sistemy s parametrami ili effektivnoe reshenie sistem polinomialnykh uravnenii $33$ goda spustya. II”, Zap. nauch. semin. POMI, 468, 2018, 138–176

[6] Gelfond A. O., Transtsendentnye i algebraicheskie chisla, GITTL, M., 1952

[7] Khodzh V., Pido D., Metody algebraicheskoi geometrii, v. 2, IIL, M., 1954

[8] Birch B. J., McCann K., “A criterion for $p$-adic solubility of diophantine equations”, Quart. J. Math. Oxford Ser. (2), 18:2 (1967), 59–63

[9] Chistov A., Karpinski M., Complexity of deciding solvability of polynomial equations over $p$-adic integers, Res. Rep. Inst. Inform. Univ. Bonn, No 85183-CS, Bonn, 1997

[10] Kollar J., “Sharp effective Nullstellensatz”, J. Amer. Math. Soc., 1:4 (1988), 963–975

[11] Lazard D., “Résolution des systémes d'équations algébriques”, Theor. Comput. Sci., 15:1 (1981), 77–110