Zoltán Kovács Tomás Recio Csilla Sólyom-Gecse Rewriting input expressions in complex algebraic geometry provers. 73-87 2019 85 Ann. Math. Artif. Intell. 2-4 https://doi.org/10.1007/s10472-018-9590-1 db/journals/amai/amai85.html#KovacsRS19