Bilinearization and Casorati determinant solution to the non-autonomous discrete KdV equation

Casorati determinant solution to the non-autonomous discrete KdV equation is constructed by using the bilinear formalism. We present three different bilinear formulations which have different origins.