Student seminar on automatic proofs of binomial identities (Spring Semester 20)

 

Source: A=B. M. Petkovsek, H. Wilf, D. Zeilberger, CRC Press. Available here. We'll focus on Chapters 4 to 8. I recommend to the students to read Chapter 1-2 by themselves before the class to get a general picture (they are introductory and non technical).

 

Instructions: Most chapters introduce the method on some illustratory examples. You are required to use another example during your presentation in class. The exercises at the end of each chapter can be a good source of other examples; giving full justification of some claims of the book is also a good idea. Your presentation should also include some computer-assisted example(s), showing computations in maple or mathematica using a beamer.

 

Written report: you are required to send us a written report with the content of your presentation. The report should contain the detailed statement, proof, computation that you want to present (not just references to the book). You can type it in lateX; very clean handwritten documents are also accepted. Please attach a maple or mathematica worksheet with your computer assisted example(s).
The report needs to be sent at the latest on Thursday one week before the presentation. We will then give you feedback, generally Friday before your presentation.

 

Validation: To validate the lecture, you need to do a written report, a presentation and attend other sessions of the seminar (I will circulate a presence list).

 

The TA for the lecture is Raul Penaguiao. You can contact him with precise questions (not just "can you help us preparing our presentation?", but rather "We do not understand this specific step of that proof") during the preparation of your presentation.

 

For the presentation, you are free to distribute the content of the chapter as you want (general presentation of the algorithm, proof of some theorem, computer-assisted example). The presentation of each student should be between 30 and 45 minutes.

 

Planning (Thursday 3-5pm, room Y27H12):