Zak Tonks

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 proceeding › Conference 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

Data for 'Fast Matrix Operations in Computer Algebra'

Tonks, Z. (Creator), University of Bath, 13 Dec 2017

DOI: 10.15125/BATH-00460

Dataset

'On Fast Matrix Inversion' Cancellations Demonstration Worksheet

Tonks, Z. (Creator), University of Bath, 7 Jan 2019

DOI: 10.15125/BATH-00577

Dataset