RWCA'00 Seventh Rhine Workshop on Computer Algebra