Interesting links:

• CAPD - Computer Assisted Proofs in Dynamics
• Computational Dynamics and Topology seminar (in Polish)

People:

• Daniel Wilczak
• Piotr Zgliczynski

Programming tools

• GMP GNU MultiPrecision Arithmetics
• MPFR MultiPrecision Floating point numbers with Rounding
• MPFI MultiPrecision Interval Arithmetics package

My various documents

• How compile and install CAPD library under Windows?