Login / Signup
Duff Baker-Jarvis
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Formal Proofs
Metadata
Logic Programs
Automated Theorem Provers
Top Venues
Adv. Appl. Math.
</>
Publications
</>
Duff Baker-Jarvis
,
Bruce E. Sagan
Bijective proofs of shuffle compatibility results.
Adv. Appl. Math.
113 (2020)