Let $R$ be a finitely generated commutative ring over a field, for concreteness.
If $S,T \leq R$ are two finitely generated subrings, is their intersection also finitely generated?
(Certainly this isn't true for infinite intersections.)
If so,
How can one compute such an intersection using a computer algebra package?
It's easy to reduce to the case that $R = {\mathrm k}[s_1,\ldots,s_n,t_1,\ldots,t_m]/I$, the subring $S$ is generated by $s_1,\ldots,s_n$, and $T$ is generated by $t_1,\ldots,t_m$.