Fast Matrix Operations in Computer Algebra. - Zak Tonks; Gregory Sankaran; James H. Davenport (SYNASC, 2017)

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (SC-Square@FLOC, 2018)

Quantifier Elimination for Reasoning in Economics. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (CoRR, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)

Datset of automated economic reasoning problems for QE / SMT. - Casey B. Mulligan; Russell J. Bradford; James H. Davenport; Matthew England 001; Zak Tonks (Zenodo, 2018)

A Poly-algorithmic Quantifier Elimination Package in Maple. - Zak Tonks (MC, 2019)

Evolutionary Virtual Term Substitution in a Quantifier Elimination System. - Zak Tonks (SC-square@SIAM AG, 2019)

On Fast Matrix Inversion via Fast Matrix Multiplication. - Zak Tonks (CoRR, 2019)

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer; Zak Tonks (PAAR+SC²@IJCAR, 2020)

New Opportunities for the Formal Proof of Computational Real Geometry? - Erika Ábrahám; James H. Davenport; Matthew England 001; Gereon Kremer; Zak Tonks (CoRR, 2020)

Practical Evaluation of Quantifier Elimination Methods (short paper). - James H. Davenport; Zak Tonks; Ali Kemal Uncu (SC-Square@SIAM AG, 2021)

Poly-algorithmic techniques in real quantifier elimination - Zak Tonks (2021)

A Poly-algorithmic Approach to Quantifier Elimination. - James H. Davenport; Zak P. Tonks; Ali Kemal Uncu (SYNASC, 2023)