References
1. H. Mukundan, K. H. Ko, T. Maekawa, T. Sakkalis and N. M. Patrikalakis. Tracing Surface Intersections with a Validated ODE System Solver. Submitted to ACM Solid Modeling Conference, 2004.
2. R. E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, 1966.
3. N. S. Nedialkov. Computing the Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. PhD thesis, University of Toronto, Toronto, Canada, 1999.
4. N. M. Patrikalakis and T. Maekawa. Shape Interrogation for Computer Aided Design and Manufacturing. Springer-Verlag, Heidelberg, 2002.
5. T. Sakkalis, G. Shen and N.M. Patrikalakis, Topological and Geometric Properties of Interval Solid Models, Graphical Models, 2001.