我们证明了对于任意$m\geq3$，当$n\gg m^3$时，$\mathbb{P}^m\times\mathbb{P}^n$的Segre-Veronese簇的所有secant簇具有预期的维数。Abo和Brambilla已经在次丰富情形下证明了这一点，因此我们专注于超丰富情形。我们将Brambilla和Ottaviani的方法一般化为一种称为“inductant”的构造。通过这种方法，非退化的证明归结为验证有限个基例，这些基例我们使用了计算机辅助证明进行了验证。

We prove that for any $m\geq3$, $n\gg m^3$, all secant varieties of the Segre-Veronese variety $\mathbb{P}^m\times\mathbb{P}^n$ have the expected dimension. This was already proved by Abo and Brambilla in the subabundant case, hence we focus on the superabundant case. We generalize an approach due to Brambilla and Ottaviani into a construction we call the inductant. With this, the proof of non-defectivity reduces to checking a finite collection of base cases, which we verify using a computer-assisted proof.