Zak Tonks. Evolutionary Virtual Term Substitution in a Quantifier Elimination System. In John Abbott, Alberto Griggio, editors, Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019. Volume 2460 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Abstract is missing.