Journal of Symbolic Computation, Volume 74

Volume 74, May - June 2016

maintained by Schloss Dagstuhl LZI at University of Trier