output
20062025
most citedHydrogen abstraction from metal surfaces: When electron-hole pair excitations strongly affect hot-atom recombination

38 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2021Show all

1 paper · 1 filter

cs.LO2021

Formalizing the Face Lattice of Polyhedra

Xavier Allamigeon, Ricardo D. Katz, Pierre-Yves Strub

Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistan…