Report copyright - Formal Proofs of Hypergeometric Sumsjrh13/papers/wz.pdfFormal Proofs of Hypergeometric Sums ... their rigorous formalization tricky and their ultimate logical ... that satisfy a recurrence
Please pass captcha verification before submit form