@会议记录{hertling_et_al:DagSemProc.06021.2，author={Hertling、Peter和Hoffmann、Christoph M.和Luther、Wolfram和Revol、Nathalie}，title={{06021摘要–实数算法的可靠实现：理论与实践}}，booktitle={实数算法的可靠实现：理论与实践}，页数={1--5}，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.2},URN={URN:nbn:de:0030-drops-7117}，doi＝{10.4230/DagSemProc.6021.2}，annote={关键词：实数可计算性，实数算法，可靠计算，结果验证算法，区间算法，几何计算，鲁棒性，实体建模}}
