( en | de | ru )

 

Disambiguation of "Tonks, Zak"

Author of the publication

copydeleteadd this publication to your clipboard
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics.

, , , , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 48. CEUR-WS.org, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dominik Zak

Annemarie Zak

Klaus Zak

Friedrich Zak

Manuel Zak

 

Other publications of authors with the same name

Evolutionary Virtual Term Substitution in a Quantifier Elimination System.. SC-square@SIAM AG, volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Practical Evaluation of Quantifier Elimination Methods (short paper)., , and . SC-Square@SIAM AG, volume 3273 of CEUR Workshop Proceedings, page 41-49. CEUR-WS.org, (2021)Poly-algorithmic techniques in real quantifier elimination. University of Bath, UK, (2021)British Library, EThOS.New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)., , , , and . PAAR+SC²@IJCAR, volume 2752 of CEUR Workshop Proceedings, page 178-188. CEUR-WS.org, (2020)Fast Matrix Operations in Computer Algebra., , and . SYNASC, page 67-70. IEEE Computer Society, (2017)A Poly-algorithmic Quantifier Elimination Package in Maple.. MC, volume 1125 of Communications in Computer and Information Science, page 171-186. Springer, (2019)New Opportunities for the Formal Proof of Computational Real Geometry?, , , , and . CoRR, (2020)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , and . SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 48. CEUR-WS.org, (2018)A Poly-algorithmic Approach to Quantifier Elimination., , and . SYNASC, page 44-51. IEEE, (2023)