{"inproceedings":{"@attributes":{"key":"conf\/cpp\/LiP16","mdate":"2025-02-06"},"author":["Wenda Li 0001","Lawrence C. Paulson"],"title":"A modular, efficient formalisation of real algebraic numbers.","pages":"66-75","year":"2016","booktitle":"CPP","ee":["https:\/\/doi.org\/10.1145\/2854065.2854074","https:\/\/www.wikidata.org\/entity\/Q57382539"],"crossref":"conf\/cpp\/2016","url":"db\/conf\/cpp\/cpp2016.html#LiP16"}}