CASC-2000 The Third International Workshop on Computer Algebra in Scientific Computing