이순지·김담 등, 『칠정산』 내·외편 편찬

이순지·김담 등이 중국 역법을 바탕으로 한 『칠정산내편』을 1442년에 완성하고, 이슬람 역법을 토대로 한 『칠정산외편』을 1444년에 완성함. 두 역서는 한양을 기준으로 일월오행성의 운행과 일식·월식을 계산할 수 있는 독자적 역법 체계를 마련한 성과.