Sixth Biennial Report

ion refinement, 134, 140, 146Albrecht, I., 261Albrecht, M., 205ALCOM-FT, see project, ALCOM-FTalgorithm engineering, 97Althaus, E., 58, 61, 75Animation Quality Metric, 310Annen, K., 312Antelao, 320ARMC, 139, 146arrangements of curves, 76arrangements of surfaces, 76assembly, 82authenticity, 346automata theory, 132 Backes, Werner, 134, 146BALL, 107, see software libraries, BALLBanderier, C., 49Bast, H., 45, 47, 65, 99Beier, R., 46, 49, 75Bekaert, P., 302, 305, 322, 328Belyaev, A., 243–247, 322, 325Berberich, E., 76, 77, 88Bernays-Schönfinkel class, 147Blanchet, B., 346–351Blanz, V., 264, 328BOOST, 94Brabec, S., 315, 317–319, 325 calculusdisconnection, 147tableau, 147Calinescu, G., 75Carranza, J., 278certifying algorithms, 95CG4wireless, 79CGAL, 89, see software libraries, CGALCharatonik, Witold, 134, 136, 138combination of theories, 124completion, 150compress vector fields, 258computationalbiology, see bioinformaticsgeometry, 72computational experiments, 95constraint programming, 59context lemmas, 147correspondence assertions, 346critical software, 349cryptographic protocols, 345Csaba, B., 53, 54curve reconstruction, 72 Damez, C., 303, 325, 328Daubert, K., 320, 322, 325, 326, 328De Nivelle, Hans, 127, 131decision procedure, 147deductive model checking, 136Delaunay tetrahedrization, 73description logics, 132designing vector fields, 257Dietzfelbinger, M., 55Dmitriev, K., 303, 328Drago, F., 312 ECG, see project, ECGEigenwillig, A., 76, 77, 88Eisenbrand, F., 61, 85Emotion, 152escape analysis, 349exact geometric computation, 92Exacus, 87