Burnikel, Christoph; Funke, Stefan; Mehlhorn, Kurt; Schirra, Stefan; Schmitt, Susanne A separation bound for real algebraic expressions. (English) Zbl 1180.68304 Algorithmica 55, No. 1, 14-28 (2009). MSC: 68W30 68U05 PDFBibTeX XMLCite \textit{C. Burnikel} et al., Algorithmica 55, No. 1, 14--28 (2009; Zbl 1180.68304) Full Text: DOI
Kettner, Lutz; Mehlhorn, Kurt; Pion, Sylvain; Schirra, Stefan; Yap, Chee Classroom examples of robustness problems in geometric computations. (English) Zbl 1135.65311 Comput. Geom. 40, No. 1, 61-78 (2008). MSC: 65D18 PDFBibTeX XMLCite \textit{L. Kettner} et al., Comput. Geom. 40, No. 1, 61--78 (2008; Zbl 1135.65311) Full Text: DOI
Kettner, Lutz; Mehlhorn, Kurt; Pion, Sylvain; Schirra, Stefan; Yap, Chee Reply to “Backward error analysis \(\dots \)”. (English) Zbl 1162.68752 Gavrilova, Marina (ed.) et al., Computational science and its applications – ICCSA 2006. International conference, Glasgow, UK, May 8–11, 2006. Proceedings, Part I. Berlin: Springer (ISBN 3-540-34070-X/pbk). Lecture Notes in Computer Science 3980, 60 (2006). MSC: 68U05 65D18 PDFBibTeX XMLCite \textit{L. Kettner} et al., Lect. Notes Comput. Sci. 3980, 60 (2006; Zbl 1162.68752) Full Text: DOI
Kettner, Lutz; Mehlhorn, Kurt; Pion, Sylvain; Schirra, Stefan; Yap, Chee Classroom examples of robustness problems in geometric computations. (English) Zbl 1111.68725 Albers, Susanne (ed.) et al., Algorithms – ESA 2004. 12th annual European symposium, Bergen, Norway, September 14–17, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23025-4/pbk). Lecture Notes in Computer Science 3221, 702-713 (2004). MSC: 68U05 97U70 PDFBibTeX XMLCite \textit{L. Kettner} et al., Lect. Notes Comput. Sci. 3221, 702--713 (2004; Zbl 1111.68725) Full Text: DOI
Burnikel, Christoph; Funke, Stefan; Mehlhorn, Kurt; Schirra, Stefan; Schmitt, Susanne A separation bound for real algebraic expressions. (English) Zbl 1006.68960 Meyer auf der Heide, Friedhelm (ed.), Algorithms - ESA 2001. 9th annual European symposium, Århus, Denmark, August 28-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2161, 254-265 (2001). MSC: 68W30 68U05 PDFBibTeX XMLCite \textit{C. Burnikel} et al., Lect. Notes Comput. Sci. 2161, 254--265 (2001; Zbl 1006.68960) Full Text: Link
Mehlhorn, Kurt; Schirra, Stefan Exact computation with leda\(\_\)real – theory and geometric applications. (English) Zbl 0978.68010 Alefeld, Götz (ed.) et al., Symbolic algebraic methods and verification methods. Wien: Springer. 163-172 (2001). MSC: 68M07 PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{S. Schirra}, in: Symbolic algebraic methods and verification methods. Wien: Springer. 163--172 (2001; Zbl 0978.68010)
Burnikel, C.; Fleischer, R.; Mehlhorn, K.; Schirra, S. A strong and easily computable separation bound for arithmetic expressions involving radicals. (English) Zbl 0953.68136 Algorithmica 27, No. 1, 87-99 (2000). MSC: 68U05 68W05 PDFBibTeX XMLCite \textit{C. Burnikel} et al., Algorithmica 27, No. 1, 87--99 (2000; Zbl 0953.68136) Full Text: DOI
Mehlhorn, Kurt; Näher, Stefan; Seel, Michael; Seidel, Raimund; Schilz, Thomas; Schirra, Stefan; Uhrig, Christian Checking geometric programs or verification of geometric structures. (English) Zbl 0922.68123 Comput. Geom. 12, No. 1-2, 85-103 (1999). MSC: 68U05 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., Comput. Geom. 12, No. 1--2, 85--103 (1999; Zbl 0922.68123) Full Text: DOI
Mehlhorn, K.; Müller, M.; Näher, S.; Schirra, S.; Seel, M.; Uhrig, C.; Ziegler, J. A computational basis for higher-dimensional computational geometry and applications. (English) Zbl 0905.68162 Comput. Geom. 10, No. 4, 289-303 (1998). MSC: 68U05 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., Comput. Geom. 10, No. 4, 289--303 (1998; Zbl 0905.68162) Full Text: DOI
Burnikel, C.; Fleischer, R.; Mehlhorn, K.; Schirra, S. A strong and easily computable separation bound for arithmetic expressions involving square roots. (English) Zbl 1321.68432 Proceedings of the 8th annual ACM-SIAM symposium on discrete algorithms, SODA ’97, New Orleans, LA, January 5–7, 1997. Philadelphia, PA: SIAM; New York, NY: ACM (ISBN 0-89871-390-0). 702-709 (1997). MSC: 68U05 68W40 PDFBibTeX XMLCite \textit{C. Burnikel} et al., in: Proceedings of the 8th annual ACM-SIAM symposium on discrete algorithms, SODA '97, New Orleans, LA, January 5--7, 1997. Philadelphia, PA: SIAM; New York, NY: ACM. 702--709 (1997; Zbl 1321.68432)
Burnikel, Christoph; Mehlhorn, Kurt; Schirra, Stefan On degeneracy in geometric computations. (English) Zbl 0873.68201 Proceedings of the 5th annual ACM-SIAM symposium on discrete algorithms, Arlington, VA, USA, January 23-25, 1994. New York, NY: ACM, 16-23 (1994). MSC: 68U05 PDFBibTeX XMLCite \textit{C. Burnikel} et al., in: Proceedings of the 5th annual ACM-SIAM symposium on discrete algorithms, SODA '94, Arlington, VA, USA, January 23--25, 1994. New York, NY: ACM; Philadelphia, PA: SIAM. 16--23 (1994; Zbl 0873.68201)
Alt, Helmut; Fleischer, Rudolf; Kaufmann, Michael; Mehlhorn, Kurt; Näher, Stefan; Schirra, Stefan; Uhrig, Christian Approximate motion planning and the complexity of the boundary of the union of simple geometric figures. (English) Zbl 0760.68082 Algorithmica 8, No. 5-6, 391-406 (1992). Reviewer: N.Korneenko (Bialystok) MSC: 68U05 68Q25 PDFBibTeX XMLCite \textit{H. Alt} et al., Algorithmica 8, No. 5--6, 391--406 (1992; Zbl 0760.68082) Full Text: DOI