J. Bochnak, M. Coste, and M. Roy, Real algebraic geometry, 1998.
DOI : 10.1007/978-3-662-03718-8

A. Brøndsted, An introduction to convex polytopes, volume 90 of Graduate Texts in Mathematics, 1983.

R. Cluckers and E. Leenknegt, Abstract, The Journal of Symbolic Logic, vol.356, issue.02, pp.621-630, 2012.
DOI : 10.2307/2373066

R. Cluckers, Abstract, The Journal of Symbolic Logic, vol.62, issue.01, pp.153-162, 2003.
DOI : 10.2307/1971463

J. Denef, p-adic semi-algebraic sets and cell decomposition, J. Reine Angew. Math, vol.369, pp.154-166, 1986.

D. Haskell and D. Macpherson, A version of o-minimality for the p-adics, The Journal of Symbolic Logic, vol.70, issue.04, pp.1075-1092, 1997.
DOI : 10.2307/1971463

P. [. Prestel and . Roquette, Formally p-adic fields, volume 1050 of Lecture Notes in Math, 1984.