元代王振的《农书》记录了一部分当时的农业技术。