Login / Signup
Olivia X. M. Yao
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 8
Top Topics
Mathematical Expressions
Formal Proofs
Color Segmentation
Theorem Prover
Top Venues
Discret. Math.
Ars Comb.
Adv. Appl. Math.
J. Comb. Theory, Ser. A
</>
Publications
</>