Buscar

Filtros

Use los filtros para refinar su búsqueda.

Autor:Allamigeon, Xavier X

Mostrando ítems 1-5 de 5

Artículo

Tropicalization of facets of polytopes

Allamigeon, Xavier ; Katz, Ricardo David (Elsevier Science Inc, 2017-06)
Matemática Pura. Matemáticas. Ciencias Naturales Y Exactas
Artículo

Tropical Fourier-Motzkin Elimination, with an Application to Real-Time Verification

Allamigeon, Xavier ; Fahrenberg, Uli ; Gaubert, Stéphane ; Katz, Ricardo David ; Legay, Axel (World Scientific, 2014-08)
Matemática Aplicada. Matemáticas. Ciencias Naturales Y Exactas
Artículo

A Formalization of Convex Polyhedra Based on the Simplex Method

Allamigeon, Xavier ; Katz, Ricardo David (Springer, 2019-07)
Matemática Aplicada. Matemáticas. Ciencias Naturales Y Exactas
Artículo

Minimal external representations of tropical polyhedra

Allamigeon, Xavier ; Katz, Ricardo David (Elsevier, 2013-02-11)
Matemática Pura. Matemáticas. Ciencias Naturales Y Exactas
Artículo

Formalizing the Face Lattice of Polyhedra

Allamigeon, Xavier ; Katz, Ricardo David ; Strub, Pierre Yves (Technische Universität Braunschweig, 2022-05)
Otras Matemáticas. Matemáticas. Ciencias Naturales Y Exactas . Otras Ciencias de la Computación e Información. Ciencias de la Computación e Información. Ciencias Naturales Y Exactas

Mostrando ítems 1-5 de 5