Lagrange's Theorem for Binary Squares.

P. Madhusudan, Dirk Nowotka, Aayush Rajasekaran, Jeffrey O. Shallit

Browse the full MFCS paper archive.