I. , B. Gharbia, and J. Jaffré, Gas phase appearance and disappearance as a problem with complementarity constraints, Mathematics and Computers in Simulation, vol.99, pp.28-36, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00641621

C. M. Bethke, Geochemical Reaction Modeling : Concepts and Applications, 1996.

C. M. Bethke, Geochemical and biogeochemical reaction modeling, 2007.
DOI : 10.1017/CBO9780511619670

B. Buchberger, Ein algorithmus zum auffinden der basiselemente des restklassenrings nach einem nulldimensionalen polynomideal, 1965.

J. Carrayrou, Looking for some reference solutions for the reactive transport benchmark of MoMaS with SPECY, Computational Geosciences, vol.25, issue.1, pp.393-403, 2010.
DOI : 10.2475/ajs.294.5.529
URL : https://hal.archives-ouvertes.fr/halsde-00546921

J. A. Connolly and K. Petrini, An automated strategy for calculation of phase diagram sections and retrieval of rock properties as a function of physical conditions, Journal of Metamorphic Geology, vol.20, issue.7, pp.697-708, 2002.
DOI : 10.1046/j.1525-1314.2002.00398.x

R. W. Cottle, J. Pang, and R. E. Stone, The Linear Complementarity Problem, SIAM, vol.60, 2009.

C. De-capitani and K. Petrakakis, The computation of equilibrium assemblage diagrams with Theriak/Domino software, American Mineralogist, vol.95, issue.7, pp.1006-1016, 2010.
DOI : 10.2138/am.2010.3354

C. De-dieuleveult and J. Erhel, A global approach to reactive transport: application to the MoMas benchmark, Computational Geosciences, vol.30, issue.7, pp.451-464, 2010.
DOI : 10.1029/94WR00955
URL : https://hal.archives-ouvertes.fr/hal-00512828

C. De-dieuleveult, J. Erhel, and M. Kern, A global strategy for solving reactive transport equations, Journal of Computational Physics, vol.228, issue.17, 2009.
DOI : 10.1016/j.jcp.2009.05.044
URL : https://hal.archives-ouvertes.fr/hal-00566602

F. Facchinei and J. Pang, Finite-dimensional variational inequalities and complementarity problems, 2007.

J. Faugere, A new efficient algorithm for computing Gröbner bases (F 4) Journal of pure and applied algebra, pp.61-88, 1999.

J. Faugere, P. Gianni, D. Lazard, and T. Mora, Efficient Computation of Zero-dimensional Gr??bner Bases by Change of Ordering, Journal of Symbolic Computation, vol.16, issue.4, pp.329-344, 1993.
DOI : 10.1006/jsco.1993.1051

F. Georget, J. H. Prévost, and R. J. Vanderbei, A speciation solver for cement paste modeling and the semismooth Newton method, Cement and Concrete Research, vol.68, pp.139-147, 2015.
DOI : 10.1016/j.cemconres.2014.11.001

J. Hoffmann, S. Krutle, and P. Knabner, A parallel global-implicit 2-D solver for reactive transport problems in porous media based on a reduction scheme and its application to the MoMaS benchmark problem, Computational Geosciences, vol.34, issue.7, pp.421-433, 2010.
DOI : 10.1029/2003WR002970

S. Kräutle, The semismooth Newton method for multicomponent reactive transport with minerals Advances in water resources, pp.137-151, 2011.

H. W. Kuhn and A. W. Tucker, Nonlinear programming, Proceedings of 2nd Berkeley Symposium, pp.481-492, 1951.

J. Kyparisis, On uniqueness of Kuhn-Tucker multipliers in nonlinear programming, Mathematical Programming, pp.242-246, 1985.
DOI : 10.1007/BFb0120982

P. C. Lichtner, Continuum formulation of multicomponent-multiphase reactive transport, Reviews in Mineralogy and Geochemistry, 1996.

K. , U. Mayer, and K. T. Macquarrie, Solution of the momas reactive transport benchmark with min3pmodel formulation and simulation results, Computational Geoscience, vol.14, pp.405-419, 2010.

T. Migot and J. Erhel, Analyse mathématique de modèles géochimiques, INRIA Rennes, 2014.

J. Molson, M. Aubertin, and B. Bussiere, Reactive transport modelling of acid mine drainage within discretely fractured porous media: Plume evolution from a surface source zone. Environmental Modelling & Software 38, 2012.

F. Morel and J. G. Hering, Principles and application of aquatic chemistry, 1993.

D. L. Parkhurst and C. A. Appelo, Description of input and examples for PHREEQC version 3: a computer program for speciation, batch-reaction, one-dimensional transport, and inverse geochemical calculations, 2013.

F. E. Saaf, A study of reactive transport phenomena in porous media, 1997.

S. Sabit, Les méthodes numériques de transport réactif, 2014.

C. I. Steefel and K. T. Macquarrie, Approaches to modeling of reactive transport in porous media, Reviews in Mineralogy and Geochemistry, 1996.

J. F. Zeleznik and S. Gordon, CALCULATION OF COMPLEX CHEMICAL EQUILIBRIA, Industrial & Engineering Chemistry, vol.60, issue.6, 1968.
DOI : 10.1021/ie50702a006