Bradford, R.,
Davenport, J. H.,
England, M.,
Errami, H.,
Gerdt, V.,
Grigoriev, D.,
Hoyt, C.,
Kosta, M.,
Radulescu, O.,
Sturm, T. &
Weber, A.,
25 Jul 2017,
Proceedings of the 42nd International Symposium on Symbolic and Algebraic Computation: ISSAC '17. Association for Computing Machinery,
p. 45-52 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review