@会议记录{hertling_et_al:DagSemProc.06021.1，author={Hertling、Peter和Hoffmann、Christoph M.和Luther、Wolfram和Revol、Nathalie}，title={{06021摘要集–实数算法的可靠实现：理论与实践}}，booktitle={实数算法的可靠实现：理论与实践}，页数={1--18}，series={Dagstuhl研讨会论文集（DagSemProc）}，ISSN={1862-4405}，年份={2006}，体积={6021}，editor={彼得·赫特林（Peter Hertling）、克里斯托夫·霍夫曼（Christoph M.Hoffmann）、沃尔夫拉姆·路德（Wolfram Luther）和娜塔莉·雷沃（Nathalie Revol）}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，URL={https://drops.dagstuhl.de/entities/documents/10.4230/DagSemProc.06021.1},URN＝{URN:nbn:de:00030-drops-7491}，doi={10.4230/DagSemProc.06021.1}，annote={关键词：实数算法，可靠实现}}
