Nowak, Fabian ; Buchty, Rainer ; Kramer, David ; Karl, Wolfgang (2009) Exploiting the HTX-Board as a Coprocessor for Exact Arithmetics.