Numerical verification methods of solutions for one dimensional free boundary problems

11th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2004), Fukuoka, Japan, 4-8 Oct. 2004.