J. Berthomieu, P. Hivert, and H. Mourtada, Computing Hironaka???s invariants: ridge and directrix, Arithmetic, Geometry, Cryptography and Coding Theory, pp.9-20, 2009.
DOI : 10.1090/conm/521/10269
URL : http://hal.archives-ouvertes.fr/docs/00/49/28/24/PDF/2009_-_Computing_Hironaka_s_invariants_Ridge_And_Directrix.pdf

D. Bini and V. Y. Pan, Polynomial and matrix computations, Progress in Theoretical Computer Science, 1994.
DOI : 10.1007/978-1-4612-0265-3

D. G. Cantor and E. Kaltofen, On fast multiplication of polynomials over arbitrary algebras, Acta Informatica, vol.7, issue.7, pp.693-701, 1991.
DOI : 10.1007/BF01178683

G. Chèze, A recombination algorithm for the decomposition of multivariate rational functions, Mathematics of Computation, vol.82, issue.283, pp.2658-2663, 2012.
DOI : 10.1090/S0025-5718-2012-02658-5

V. Cossart and O. Piltant, Resolution of singularities of threefolds in positive characteristic. I., Journal of Algebra, vol.320, issue.3, pp.1051-1082, 2008.
DOI : 10.1016/j.jalgebra.2008.03.032
URL : https://hal.archives-ouvertes.fr/hal-00139445

V. Cossart and O. Piltant, Resolution of singularities of threefolds in positive characteristic. I., Journal of Algebra, vol.320, issue.3, pp.1836-1976, 2009.
DOI : 10.1016/j.jalgebra.2008.03.032
URL : https://hal.archives-ouvertes.fr/hal-00139445

D. Cox, J. Little, and D. Shea, Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics An introduction to computational algebraic geometry and commutative algebra, 2007.

J. Faugère, A new efficient algorithm for computing Gröbner bases without reduction to zero (F5), ISSAC '02: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, ISSAC '02, pp.75-83, 2002.

J. Faugère, FGb: A Library for Computing Gr??bner Bases, Mathematical Software -ICMS 2010, pp.84-87, 2010.
DOI : 10.1007/978-3-642-15582-6_17

J. Faugère, J. Gathen, and L. Perret, Decomposition of generic multivariate polynomials, Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC '10, pp.131-137, 2010.
DOI : 10.1145/1837934.1837963

J. Faugère and L. Perret, High order derivatives and decomposition of multivariate polynomials, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, ISSAC '09, pp.207-214, 2009.
DOI : 10.1145/1576702.1576732

J. Faugère, M. Safey-el-din, and P. Spaenlehauer, Gr??bner bases of bihomogeneous ideals generated by polynomials of bidegree <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:math>: Algorithms and complexity, Journal of Symbolic Computation, vol.46, issue.4, pp.406-437, 2011.
DOI : 10.1016/j.jsc.2010.10.014

A. Fröhlich and J. C. Shepherdson, Effective Procedures in Field Theory, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.248, issue.950, pp.407-432, 1956.
DOI : 10.1098/rsta.1956.0003

J. V. Gathen, Hensel and Newton methods in valuation rings, Mathematics of Computation, vol.42, issue.166, pp.637-661, 1984.
DOI : 10.1090/S0025-5718-1984-0736459-9

. Mathématique, Cours de 3` eme cycle, 1971.

H. Hironaka, Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II, The Annals of Mathematics, vol.79, issue.2, pp.79-109, 1964.
DOI : 10.2307/1970547

H. Hironaka, Characteristic polyhedra of singularities, Journal of Mathematics of Kyoto University, vol.7, issue.3, pp.251-293, 1967.
DOI : 10.1215/kjm/1250524227

H. Hironaka, Additive Groups Associated with Points of a Projective Space, The Annals of Mathematics, vol.92, issue.2, pp.327-334, 1970.
DOI : 10.2307/1970839

K. S. Kedlaya, The algebraic closure of the power series field in positive characteristic, Proc. Amer, pp.3461-3470, 2001.

Y. V. Nesterenko and P. Philippon, Introduction to algebraic independence theory With contributions from F, Lecture Notes in Mathematics, vol.1752, 2001.

I. Newton, The correspondence of Isaac Newton, pp.1676-1687, 1960.

P. Philippon, Lemmes de zéros dans les groupes algébriques commutatifs, Bull. Soc. Math. France, vol.114, issue.3, pp.355-383, 1986.
DOI : 10.24033/bsmf.2060
URL : http://archive.numdam.org/article/BSMF_1986__114__355_0.pdf

T. Pruschke, On degrees in multihomogeneous ideal theory, Acta Math. Univ. Comenian. (N.S.), vol.60, issue.2, pp.233-241, 1991.

V. Puiseux, Recherches sur les fonctions algébriques, J. Math. Pures Appl, vol.15, pp.365-480, 1850.

V. Puiseux, Recherches sur les fonctions algébriques, J. Math. Pures Appl, vol.16, pp.228-240, 1850.

I. R. Shafarevich, Basic algebraic geometry Schemes and complex manifolds, Translated from the, 1988.

E. W. Tschirnhaus, Methodus auferendi omnes terminos intermedios ex data equatione. Nieuw Arch, Wisk, vol.11, issue.41, pp.67-83, 1993.

E. W. Tschirnhaus and R. F. Green, A method for removing all intermediate terms from a given equation. j-SIGSAM, pp.1-3, 2003.