Research Output per year
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2018 2019
Evolutionary virtual term substitution in a quantifier elimination system
Tonks, Z., 31 Jul 2019, CEUR Workshop Proceedings: 4th Workshop on Satisfiability Checking and Symbolic Computation. Abbott, J. & Griggio, A. (eds.). CEUR-WS, Vol. 2460. (CEUR Workshop Proceedings; vol. 2460).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
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