B. Siegfried, G. Ulrich, and R. Reinhold, Non-Archimedean analysis, 1984.

B. Bruno, Ein Algorithmus zum Au nden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal), English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions, vol.41, pp.475-511, 2006.

C. Xavier and L. David, Linear Algebra over Z p, LMS J. Comput. Math, vol.17, pp.302-344, 2014.

C. Xavier, V. Tristan, and V. Thibaut, Gröbner bases over Tate algebras, Proceedings: ISSAC'19

E. Christian and F. Jean-charles, A survey on signature-based algorithms for computing Gröbner bases, J. of Symbolic Computation, 2017.

E. Christian and P. John, F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, J. of Symbolic Computation, 2010.

F. Jean-charles, A new e cient algorithm for computing Gröbner bases (F4), 1999.

J. Faugère, A new e cient algorithm for computing Gröbner bases without reduction to zero (F5), Proceedings: ISSAC'02

G. Shuhong, G. Yinhua, . Volny, and . Frank, A new incremental algorithm for computing Groebner bases, Proceedings: ISSAC'10

G. Shuhong, I. V. Volny, W. Frank, and . Mingsheng, A new framework for computing Gröbner bases, Mathematics of computation, vol.85, pp.449-465, 2016.

G. Hans-gert, Algorithms in Local Algebra, J. of Symbolic Computation, vol.19, pp.545-557, 1995.

L. Dong, W. Dingkang, and X. Fanghiu, Zhou Jie Extending the GVW Algorithm to Local Ring, Proceedings of 43th International Symposium on Symbolic and Algebraic Computation, ISSAC'18

M. Thomas, R. Yue, and W. Olivier, Standard bases in mixed power series and polynomial rings over rings, J. of Symbolic Computation, vol.79, pp.119-139, 2017.

M. Ferdinando, An algorithm to compute the equations of tangent cones, Proceedings of European Computer Algebra Conference in Marseille, pp.158-165, 1982.

N. Graham, H. , and S. Ana, Strong Grobner bases and cyclic codes over a nite-chain ring, Electronic notes in discrete maths 6, pp.240-250, 2001.

, The Sage Development Team, SageMath, the Sage Mathematics Software System (Version 8.6), 2018.

T. John, Rigid analytic spaces, Inventiones Mathematicae, vol.12, pp.257-289, 1971.

T. John, A review of non-Archimedean elliptic functions in Elliptic curves, modular forms and Fermat's last theorem, Series in Number Theory, pp.162-184, 1995.