Exact Real Arithmetic Systems: Results of Competition

Abstract. A competition between systems for doing exact real number computations was held in September 2000. We present the results obtained and give a short evaluation of the different approaches used.

• Type: Conference
• Year: 2000
• Where: CCA
• Authors: Jens Blanck
• Keywords: CCA 2000, Different Approaches, Real Number Computations, Short Evaluation, Theoretical Computer Science