If you made any changes in Pure these will be visible here soon.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2018 2019

  • 2 Other contribution
  • 1 Conference contribution

On Fast Matrix Inversion by Fast Matrix Multiplication

Tonks, Z., 3 Jan 2019

Research output: Other contribution

Fast matrix operations in computer algebra

Tonks, Z., Sankaran, G. & Davenport, J. H., 9 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Quantifier Elimination for Reasoning in Economics

Mulligan, C. B., Bradford, R., Davenport, J., England, M. & Tonks, Z., 26 Apr 2018

Research output: Other contribution

Open Access

Datasets