Research Output per year
Research Output per year
Fingerprint
Dive into the research topics where Zak Tonks is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
A Poly-algorithmic Quantifier Elimination Package in Maple
Tonks, Z., 28 Feb 2020, Maple in Mathematics Education and Research. Springer International Publishing, p. 171-186Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
New opportunities for the formal proof of computational real geometry? (Extended Abstract)
Ábrahám, E., Davenport, J. H., England, M., Kremer, G. & Tonks, Z., 31 Dec 2020, In: CEUR Workshop Proceedings. 2752, p. 178-188 11 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
VTS and Lazard Projection CAD in Quantifier Elimination with Maple
Tonks, Z., 6 Aug 2020, TIB AV : Technischen Universitat Braunschweig.Research output: Other contribution
Open Access -
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 proceeding › Conference contribution
-
On Fast Matrix Inversion by Fast Matrix Multiplication
Tonks, Z., 3 Jan 2019Research output: Other contribution
Datasets
-
'On Fast Matrix Inversion' Cancellations Demonstration Worksheet
Tonks, Z. (Creator), University of Bath, 7 Jan 2019
DOI: 10.15125/BATH-00577
Dataset
-
Data for 'Fast Matrix Operations in Computer Algebra'
Tonks, Z. (Creator), Davenport, J. (Editor) & Sankaran, G. (Editor), University of Bath, 13 Dec 2017
DOI: 10.15125/BATH-00460
Dataset