( en | de | ru )

 

Disambiguierung von "Tonks, Zak"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evolutionary Virtual Term Substitution in a Quantifier Elimination System.

. SC-square@SIAM AG, Volume 2460 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dominik Zak

Annemarie Zak

Klaus Zak

Friedrich Zak

Manuel Zak

 

Weitere Publikationen von Autoren mit dem selben Namen

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