( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract).

, , , , и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 178-188. CEUR-WS.org, (2020)

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.

Dominik Zak

Annemarie Zak

Klaus Zak

Friedrich Zak

Christian Zak

 

Другие публикации лиц с тем же именем

Evolutionary Virtual Term Substitution in a Quantifier Elimination System.. SC-square@SIAM AG, том 2460 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Practical Evaluation of Quantifier Elimination Methods (short paper)., , и . SC-Square@SIAM AG, том 3273 из CEUR Workshop Proceedings, стр. 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)., , , , и . PAAR+SC²@IJCAR, том 2752 из CEUR Workshop Proceedings, стр. 178-188. CEUR-WS.org, (2020)Fast Matrix Operations in Computer Algebra., , и . SYNASC, стр. 67-70. IEEE Computer Society, (2017)A Poly-algorithmic Quantifier Elimination Package in Maple.. MC, том 1125 из Communications in Computer and Information Science, стр. 171-186. Springer, (2019)New Opportunities for the Formal Proof of Computational Real Geometry?, , , , и . CoRR, (2020)Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics., , , , и . SC-Square@FLOC, том 2189 из CEUR Workshop Proceedings, стр. 48. CEUR-WS.org, (2018)A Poly-algorithmic Approach to Quantifier Elimination., , и . SYNASC, стр. 44-51. IEEE, (2023)