Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans. Constraint solving for interpolation. Journal of Symbolic Computation, 45(11):1212-1233, 2010. [doi]

Abstract

Abstract is missing.