Editing of Journals

95-97

Guest editor of special issue of the Journal of Symbolic Computation on ''Applications of Quantifier Elimination'' appeared as Vol. 24, Number 2, August 1997, pp. 123 - 231

Since 2000

Specialist editor on ''Algebraic manipulation'' of Computer Physics Communications, North Holland, Elsevier.