Piotr Zgliczynski. C:::1::: Lohner Algorithm. Foundations of Computational Mathematics, 2(4):429-465, 2002. [doi]
@article{Zgliczynski02, title = {C:::1::: Lohner Algorithm}, author = {Piotr Zgliczynski}, year = {2002}, doi = {10.1007/s102080010025}, url = {http://dx.doi.org/10.1007/s102080010025}, tags = {C++}, researchr = {https://researchr.org/publication/Zgliczynski02}, cites = {0}, citedby = {0}, journal = {Foundations of Computational Mathematics}, volume = {2}, number = {4}, pages = {429-465}, }