Maple programs

---

New or updated Maple programs

These programs can be seen and used with Maple or the free Maple Player.

2009—2022

• Dougall's ₅F₄ sum and the WZ-algorithm: Maple program. Theory: arXiv
   
• On WZ pairs which prove Ramanujan-like series: Maple program. Theory: arXiv
   
• Modular equations for proving Ramanujan series: Maple program. Theory: arXiv
   
• Proof of the Chudnovskys' series 1A5, 1A11, 1A17, 1A41 for 1/pi: Maple program. Theory: arXiv
   

2023

• Values of z of Ramanujan-Orr-type formulas for 1/pi using modular equations: Maple program.
   
• Using the WZ algorithm to accelerate Dougall's ₅F₄ identity for discovering and proving hypergeometric series for constants: Maple program.
   

2024

• On WZ pairs which prove Ramanujan series: Maple program.
   
• Automatic proofs of Ramanujan series for 1/pi using modular equations: Maple program.