Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2018 2019
On Fast Matrix Inversion by Fast Matrix Multiplication
Tonks, Z., 3 Jan 2019Research 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. 8531267Research 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 2018Research output: Other contribution
Open Access
Datasets
'On Fast Matrix Inversion' Cancellations Demonstration Worksheet
Tonks, Z. (Creator), University of Bath, 7 Jan 2019
DOI: 10.15125/BATH-00577
Dataset
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
Dataset