Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers

Symbolic and Numerical Scientific Computation: Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers