Zak Tonks

According to our database, Zak Tonks authored at least 13 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Poly-algorithmic Approach to Quantifier Elimination.

James H. Davenport, Zak P. Tonks, Ali Kemal Uncu

Proceedings of the 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2023

2021

Poly-algorithmic techniques in real quantifier elimination

Zak Tonks

PhD thesis, 2021

Practical Evaluation of Quantifier Elimination Methods (short paper).

James H. Davenport, Zak Tonks, Ali Kemal Uncu

Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021

2020

New Opportunities for the Formal Proof of Computational Real Geometry?

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

CoRR, 2020

New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).

Erika Ábrahám, James H. Davenport, Matthew England, Gereon Kremer, Zak Tonks

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020

2019

On Fast Matrix Inversion via Fast Matrix Multiplication.

Zak Tonks

CoRR, 2019

Evolutionary Virtual Term Substitution in a Quantifier Elimination System.

Zak Tonks

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

A Poly-algorithmic Quantifier Elimination Package in Maple.

Zak Tonks

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

Datset of automated economic reasoning problems for QE / SMT.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Dataset, April, 2018

Quantifier Elimination for Reasoning in Economics.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

CoRR, 2018

Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.

Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

Fast Matrix Operations in Computer Algebra.

Zak Tonks, Gregory Sankaran, James H. Davenport

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017