Dedicated to the memory of Andrzej
Trybulec.

Journal of Automated Reasoning, vol. 55, pp. 223-243 (2015).

@ARTICLE{harrison-wz, author = "John Harrison", title = "Formal proofs of hypergeometric sums (Dedicated to the memory of Andrzej Trybulec)", journal = "Journal of Automated Reasoning", year = 2015, volume = 55, pages = "223--243"}