Seminar Details
Ramanujan Series for Automatic Proofs
- Start Date: April 27, 2023
- Event Start Time: 5:00 PM
- Event End Time: 6:00 PM
- Seminar Series: Experimental Math Seminar
- Presenter(s): Jesús Guillera - University of Zaragoza
- Event Location: Online Event
- Event Additional Info: Presented Via Zoom: https://rutgers.zoom.us/j/94346444480Password: 6564120420For further information see: https://sites.math.rutgers.edu/~zeilberg/expmath/
- Presentation Type: Stand Alone Presentation
- Abstract:
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