Zoltán Kovács, T. Recio, Csilla Sólyom-Gecse,
"Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers"
, in Julien Narboux; Pascal Schreck; Elena Streinu: Proceedings of ADG 2016, Seite(n) 137-143, 2016
Original Titel:
Automatic Rewrites of Input Expressions in Complex Algebraic Geometry Provers