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 Conference contribution
  • 2 Other contribution

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 proceedingConference 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