志·卷十三
隋书,志,志·卷十三。 律历下 开皇二十年,袁充奏日长影短,高祖因以历事付皇太子,遣更研详着日长之候。 太子征天下历算之士,咸集于东宫。刘焯以太子新立,复增修其书,名曰《皇极历