Skopenkov, Mihail B.; Ustinov, Alexey V. Feynman checkers: towards algorithmic quantum theory. (English. Russian original) Zbl 1526.82005 Russ. Math. Surv. 77, No. 3, 445-530 (2022); translation from Usp. Mat. Nauk 77, No. 3, 73-160 (2022). Reviewer: Nasir N. Ganikhodjaev (Tashkent) MSC: 82B20 82B26 11L03 68Q12 81P68 81T25 81T40 05A17 11P82 33C45 35Q41 PDFBibTeX XMLCite \textit{M. B. Skopenkov} and \textit{A. V. Ustinov}, Russ. Math. Surv. 77, No. 3, 445--530 (2022; Zbl 1526.82005); translation from Usp. Mat. Nauk 77, No. 3, 73--160 (2022) Full Text: DOI arXiv MNR
Liu, Ji-Cai Semi-automated proof of supercongruences on partial sums of hypergeometric series. (English) Zbl 1418.68248 J. Symb. Comput. 93, 221-229 (2019). MSC: 68W30 11Y16 33C05 PDFBibTeX XMLCite \textit{J.-C. Liu}, J. Symb. Comput. 93, 221--229 (2019; Zbl 1418.68248) Full Text: DOI
Schneider, Carsten; Sulzgruber, Robin Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm. (English) Zbl 1366.05119 Electron. J. Comb. 24, No. 2, Research Paper P2.28, 33 p. (2017). MSC: 05E10 33F10 68W30 PDFBibTeX XMLCite \textit{C. Schneider} and \textit{R. Sulzgruber}, Electron. J. Comb. 24, No. 2, Research Paper P2.28, 33 p. (2017; Zbl 1366.05119) Full Text: arXiv Link