Tomasz Kapela Homepage
Jagiellonian University
Institute of Computer Science and Computational Mathematics
HOME
CV
PAPERS
TEACHING
N-BODY
LINKS
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
Interval arithmetics
Standardized notation in interval analysis
, R.B. Kearfott, M.T. Nakao, A. Neumaier, S.M. Rump, S.P. Shary, and P. van Hentenryck