MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following document:

  1. Exact computation with leda_real - Theory and geometric applications
    Kurt Mehlhorn and Stefan Schirra
    In: Symbolic Algebraic Methods and Verification Methods, 2001, 163-172
    [PDF: Download: Mehlhorn145.pdf]