« search calendars« Experimental Math Seminar

« Ramanujan Series for 1/π . Automatic Proofs

Ramanujan Series for 1/π . Automatic Proofs

April 27, 2023, 5:00 PM - 6:00 PM

Location:

Online Event

Jesús Guillera, University of Zaragoza

We develop a method for proving automatically Ramanujan series for 1/π using modular equations. For the case of alternating series these equations are of a much lower degree than those required in the methods of other authors. For example, it was thought that a complete explicit proof of the Chudnovskys' fastest series for 1/π would require a supercomputer. We will show that this is not true

Link to video: https://vimeo.com/823771743

 

Presented Via Zoom: https://rutgers.zoom.us/j/94346444480

Password: 6564120420

For further information see: https://sites.math.rutgers.edu/~zeilberg/expmath/