Bradford, R.,
Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A.,
23 Jul 2017,
ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery,
p. 45-52 8 p.Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding