Gröbner basis is an interesting way to solve the 1st problem.