Notes on Lecture 1c of TCS Toolkit

Lecture link

Some useful resources

1. The Online Encyclopedia of Integer Sequences

2. Inverse Symbolic Calculator (super useful)

   Note that the first site shown on Google is permanently down. There is also a version here that one and build and run on your local machine (it is quite impressive that this program consists of $12,000+$ lines of code, all inside a single file).

3. Mathematica (super useful)

   Do any derivation, integration, expansion etc.

A working example

The example given by Prof. O'Donnell was quite eye-opening for me when I was first time watching it: link.