唐《元和郡县志》

龙泉县，乾元二年，越州刺史独孤峻奏割遂昌、松阳二县置……龙泉洞，在县南二里。

宋《寰宇记》

龙泉县南五里，水可用淬剑，昔人就水淬之，剑化龙去，剑名龙泉。

北宋杨亿《金沙塔院记》

缙云西鄙之邑曰龙泉，实欧冶铸剑之地。

南宋《龙泉县志》

近境有剑池湖，世传欧冶子于此铸剑，其一号龙渊，以此乡名。

元末明初宋濂《龙渊义塾碑》

龙渊即龙泉，避唐讳，更以今名。相传其地乃欧冶子铸剑处,至今有水弓剑溪焉。

明《寰宇通志》

欧冶子庙，在龙泉县南五里剑池湖前，相传欧冶子乃吴王圃闾大夫时，常铸剑于此，或谓淬剑。湖旁有古遗铁，人间得之此。

明《括苍汇记》

山南为秦溪，剑池湖在其阴，周围数十亩。湖水清冽，时有瑞莲挺出。旁有七星井，为欧冶子铸剑之所，今为官田，井尚在，夏日饮其水，寒侵卤骨。

明郭子章《郡县释名》

剑池湖在县南五里，同迪三十亩，世传欧冶子于此铸剑，剑成一号龙渊，就湖淬之，化龙而去。

《大清一统志》

剑池湖，在龙泉县南五里，周迥三十亩，传欧冶子铸剑于此，号为龙渊。唐讳渊改曰剑池湖。邑名本此。

清顺治《龙泉县志》

剑池湖，在市十七都，距县五里，其湖周迥十数亩，旧潭通旁七井，如斗星之布在南亡侧，井甘而冽，世传吴越时欧冶子铸。 剑于此，剑成淬水，化为龙去，今池畔铁肤冶土犹存，人因立欧冶子将军庙，岁时祀享。

又云：古迹剑池湖在十七都秦溪山之阴，旧志云湖水清冽，旁有七星井，为欧冶子铸龙泉剑之所，今利为官田，尚有一井在焉，夏臼取其水饮之，寒侵齿骨。一云池与稽圣潭通，尝确蒸笼浮出潭面，题志曰：剑池供器。

清乾隆《龙泉县志》

剑池湖，在南十七都距县五里，其湖周迥十数亩，旧志云湖尾深有旋辗涡，其泉脉与县稽圣潭通，尝有甑浮出潭面，题曰：剑池供器。旁有七并，如斗星之布，在南山侧，井水甘而冽，今科为官田，尚有一井在焉。夏日取其水饮之，寒侵齿骨。世传欧冶十铸剑于此。

又云：古迹剑池湖，在十七都秦溪山之阴，旧志云湖水清冽，旁有七星井，世传吴越时欧冶子铸剑于此，剑成淬水，化为龙去。今池畔铁肤冶土犹存，人因立欧冶子将军庙，岁时祀享。