[. Bagnara, P. M. Hill, and E. Zaffanella, The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems, Science of Computer Programming, vol.72, issue.1-2, pp.3-21, 2008.
DOI : 10.1016/j.scico.2007.08.001

N. Caspard and B. Monjardet, The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey, Conference on Ordinal and Symbolic Data Analysis (OSDA '98), pp.241-269, 1998.
DOI : 10.1016/S0166-218X(02)00209-3
URL : https://hal.archives-ouvertes.fr/hal-00095569

A. Jesús, J. De-loera, F. Rambau, . Santos, and . Triangulations, Structures for algorithms and applications, 2010.

A. W. Dress, Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: A note on combinatorial properties of metric spaces, Advances in Mathematics, vol.53, issue.3, pp.321-402, 1984.
DOI : 10.1016/0001-8708(84)90029-X

A. W. Dress and W. Wenzel, Valuated matroids, Advances in Mathematics, vol.93, issue.2, pp.214-250, 1992.
DOI : 10.1016/0001-8708(92)90028-J

, Submodular functions, matroids, and certain polyhedra, Combinatorial Structures and their Applications (Proc. Calgary Internat. Conf, pp.69-87, 1969.

E. M. , F. , and B. Sturmfels, Matroid polytopes, nested sets and bergman fans, Portugaliae Mathematica. Nova Série, vol.62, issue.4, pp.437-468, 2005.

[. Ganter, Algorithmen zur formalen Begriffsanalyse, Beiträge zur Begriffsanalyse, pp.241-254, 1987.

M. Izrail, M. Gel, R. D. Goresky, V. V. Macpherson, and . Serganova, Combinatorial geometries, convex polyhedra , and Schubert cells, Adv. in Math, vol.63, issue.3, pp.301-316, 1987.

E. Gawrilow and M. Joswig, polymake: a Framework for Analyzing Convex Polytopes, Polytopes?combinatorics and computation (Oberwolfach, pp.43-73, 1997.
DOI : 10.1007/978-3-0348-8438-9_2

B. Ganter and S. Obiedkov, Conceptual exploration
DOI : 10.1007/978-3-662-49291-8

[. Hampe, Algorithmic aspects of tropical intersection theory, 2014.

, Simon Hampe. a-tint: a polymake extension for algorithmic tropical intersection theory, European J. Combin, vol.36, pp.579-607, 2014.

[. Herrmann, A. Jensen, M. Joswig, and B. Sturmfels, How to draw tropical planes, honor of Anders Björner): Research Paper, 2009.

[. Herrmann, M. Joswig, and M. E. Pfetsch, Computing the bounded subcomplex of an unbounded polyhedron, Computational Geometry, vol.46, issue.5, pp.541-551, 2013.
DOI : 10.1016/j.comgeo.2011.11.002

[. Herrmann, M. Joswig, and D. Speyer, Abstract, Forum Mathematicum, vol.26, issue.6, pp.389-411, 2012.
DOI : 10.1515/forum-2012-0030
URL : https://hal.archives-ouvertes.fr/hal-01375359

J. R. Isbell, Six theorems about injective metric spaces, Commentarii Mathematici Helvetici, vol.39, issue.1, pp.65-76, 1964.
DOI : 10.1007/BF02566944

M. Joswig, Tropical convex hull computations, Tropical and idempotent mathematics, pp.193-212, 2009.
DOI : 10.1090/conm/495/09698

[. Joswig, B. Sturmfels, and J. Yu, Affine buildings and tropical convexity, Albanian J. Math, vol.1, issue.4, pp.187-211, 2007.

M. Joswig and T. Theobald, Polyhedral and algebraic methods in computational geometry
DOI : 10.1007/978-1-4471-4817-3

L. Springer, Revised and updated translation of the, 2008.

M. Mikhail and . Kapranov, Chow quotients of Grassmannians. I. In I. M. Gel fand Seminar, Adv. Soviet Math. Amer. Math. Soc, vol.16, pp.29-110, 1993.

V. Kaibel and M. E. Pfetsch, Computing the face lattice of a polytope from its vertex-facet incidences, Computational Geometry, vol.23, issue.3, pp.281-290, 2002.
DOI : 10.1016/S0925-7721(02)00103-7
URL : https://doi.org/10.1016/s0925-7721(02)00103-7

[. Matsumoto, S. Moriyama, H. Imai, and D. Bremner, Matroid Enumeration for Incidence Geometry, Discrete & Computational Geometry, vol.38, issue.1, pp.17-43, 2012.
DOI : 10.1007/BF00181199

D. Maclagan and B. Sturmfels, Introduction to tropical geometry, Graduate Studies in Mathematics, vol.161, 2015.
DOI : 10.1090/gsm/161
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.9023

R. James and . Munkres, Elements of algebraic topology, 1984.

[. Oxley, Matroid theory, volume 21 of Oxford Graduate Texts in Mathematics, 2011.

[. Rincón, Computing tropical linear spaces, Journal of Symbolic Computation, vol.51, pp.86-98, 2013.
DOI : 10.1016/j.jsc.2012.03.008

E. David and . Speyer, Tropical linear spaces, SIAM J. Discrete Math, vol.22, issue.4, pp.1527-1558, 2008.

D. Speyer and B. Sturmfels, The tropical Grassmannian, Advances in Geometry, vol.98, issue.3, pp.389-411, 2004.
DOI : 10.1515/advg.2004.023

, Theory of matroids, volume 26 of Encyclopedia of Mathematics and its Applications, 1986.

J. Yu and D. S. Yuster, Representing tropical linear spaces by circuits, Formal Power Series and Algebraic Combinatorics, 2007.