Casas-Alvero conjecture in computational algebraic geometry

We study varieties defined by parameterizing polynomials of derivatives through a computational algebro-geometric approach, especially relying on Combinatorial Nullstellensatz and Noether normalization. We establish that these polynomials form regular sequences easily. This allows us to calculate the dimension of thus defined varieties and consequently give a proof to the Casas-Alvero conjecture.