Zak Tonks

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 10

Top Topics

Computer Algebra

Prime Implicants

Top Venues

SC-Square@SIAM AG

SC-square@SIAM AG

Publications

James H. Davenport, Zak Tonks, Ali Kemal Uncu
Practical Evaluation of Quantifier Elimination Methods (short paper). SC-Square@SIAM AG (2021)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract). PAAR+SC²@IJCAR (2020)
Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks
New Opportunities for the Formal Proof of Computational Real Geometry? CoRR (2020)
Zak Tonks
On Fast Matrix Inversion via Fast Matrix Multiplication. CoRR (2019)
Zak Tonks
Evolutionary Virtual Term Substitution in a Quantifier Elimination System. SC-square@SIAM AG (2019)
Zak Tonks
A Poly-algorithmic Quantifier Elimination Package in Maple. MC (2019)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Quantifier Elimination for Reasoning in Economics. CoRR (2018)
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. SC-Square@FLOC (2018)
Zak Tonks, Gregory Sankaran, James H. Davenport
Fast Matrix Operations in Computer Algebra. SYNASC (2017)