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