Non-Archimedean analysis, 1984. ,
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. ,
Linear Algebra over Z p, LMS J. Comput. Math, vol.17, pp.302-344, 2014. ,
Gröbner bases over Tate algebras, Proceedings: ISSAC'19 ,
A survey on signature-based algorithms for computing Gröbner bases, J. of Symbolic Computation, 2017. ,
F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases, J. of Symbolic Computation, 2010. ,
, A new e cient algorithm for computing Gröbner bases (F4), 1999.
A new e cient algorithm for computing Gröbner bases without reduction to zero (F5), Proceedings: ISSAC'02 ,
A new incremental algorithm for computing Groebner bases, Proceedings: ISSAC'10 ,
, A new framework for computing Gröbner bases, Mathematics of computation, vol.85, pp.449-465, 2016.
Algorithms in Local Algebra, J. of Symbolic Computation, vol.19, pp.545-557, 1995. ,
Zhou Jie Extending the GVW Algorithm to Local Ring, Proceedings of 43th International Symposium on Symbolic and Algebraic Computation, ISSAC'18 ,
Standard bases in mixed power series and polynomial rings over rings, J. of Symbolic Computation, vol.79, pp.119-139, 2017. ,
An algorithm to compute the equations of tangent cones, Proceedings of European Computer Algebra Conference in Marseille, pp.158-165, 1982. ,
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.
Rigid analytic spaces, Inventiones Mathematicae, vol.12, pp.257-289, 1971. ,
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. ,