Han etterlot seg mange manuskripter som senere havnet dels i Pariserobservatoriet og i marinedepotet, og dels i British Museum, og som i deler ble utgitt på 1800-tallet.