Formalizing the Face Lattice of Polyhedra - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2020

Dates and versions

hal-03151656 , version 1 (24-02-2021)

Identifiers

Cite

Xavier Allamigeon, Ricardo Katz, Pierre-Yves Strub. Formalizing the Face Lattice of Polyhedra. Automated Reasoning. IJCAR 2020, pp.185-203, 2020, ⟨10.1007/978-3-030-51054-1_11⟩. ⟨hal-03151656⟩
38 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More