Login / Signup
Guillaume Aubian
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 15
Top Topics
Formal Proofs
Fixed Number
Computationally Challenging
Von Neumann
Top Venues
CoRR
Electron. J. Comb.
SIAM J. Discret. Math.
Eur. J. Comb.
</>
Publications
</>