Login / Signup
Guo-Shuai Mao
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Experimental Study
Theorem Prover
Linear Logic
Error Rate
Top Venues
J. Comb. Theory, Ser. A
Period. Math. Hung.
J. Symb. Comput.
</>
Publications
</>
Guo-Shuai Mao
,
Jun-Jun Yang
.
Period. Math. Hung.
87 (2) (2023)
Guo-Shuai Mao
Proof of a supercongruence via the Wilf-Zeilberger method.
J. Symb. Comput.
107 (2021)
Guo-Shuai Mao
Proof of a conjecture of Adamchuk.
J. Comb. Theory, Ser. A
182 (2021)