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

Research Output 2018 2019

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

On Fast Matrix Inversion by Fast Matrix Multiplication

Tonks, Z., 3 Jan 2019

Research output: Other contribution

2018

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