652章 四步(1/4)
赵天、小云、曾寒三人赴燕大人民医院探望欧叶。
刚睡醒的欧叶将手稿交付给三位学生，如此这般，这般如此，她对学生们面授机宜。
欧叶整理出的关于强bsd猜想证明的脉络很清晰了，这条证明脉络采用了逆推倒逼的方式。
最后一步，欲证明强bsd猜想，即证明这句话：e（q）是无穷集的充要条件是l（e，s）在s=1处的泰勒多项式具有如下形式，l（e，s）=c（s-1）^r+高阶项，其中c≠0，r是e的秩。
倒数第二步，欲证明上面的这句话，则需对椭圆曲线上的有理点进行计数。
倒数第三步，欲对椭圆曲线上的有理点进行计数，则需先论证椭圆曲线上的秩。
倒数第四步，欲论证椭圆曲线上的秩，可考虑采取群论的方法。
经过欧叶和她三个学生的不懈努力，目前这个团队已做到了倒数第四步。
“其实，倒数第四步，也可以认为是正数第一步，它耗时最长。如果我们用两年时间做完倒数第四步，那么后面的三步，可以在两个月内完成……哈……哈欠……”欧叶虽然身体欠佳，但她的数学思路十分清晰。
欧叶刚睡醒，却又哈欠连连，三个学生说到：“叶子姐你休息吧，我们知道该怎么做了！你睡会儿，我们先走了。”
三位学生小心翼翼的装好欧叶的手稿，这便离开人民医院返回燕大。
数院一楼走廊尽头的小房间，是三位学生的作战室。
三人首先将欧叶的手稿整理为可进行计算机验证的电子数据模式。
这份工作大概需要三人连做三天，每人每天的工作时间不会少于12个小时。
欧叶的思路，三个学生非常清楚了。
欧叶从群论出发，通过对典型的椭圆曲线的秩进行计算证明，得到了一个关于椭圆曲线的秩的假设。
这个假设是否可以成为引理，需要验证。
欧叶采取的手段很传统，从典型例子上推断出典型理论，再把典型理论放到全部例子中，以求证它的普适性。
刚睡醒的欧叶将手稿交付给三位学生，如此这般，这般如此，她对学生们面授机宜。
欧叶整理出的关于强bsd猜想证明的脉络很清晰了，这条证明脉络采用了逆推倒逼的方式。
最后一步，欲证明强bsd猜想，即证明这句话：e（q）是无穷集的充要条件是l（e，s）在s=1处的泰勒多项式具有如下形式，l（e，s）=c（s-1）^r+高阶项，其中c≠0，r是e的秩。
倒数第二步，欲证明上面的这句话，则需对椭圆曲线上的有理点进行计数。
倒数第三步，欲对椭圆曲线上的有理点进行计数，则需先论证椭圆曲线上的秩。
倒数第四步，欲论证椭圆曲线上的秩，可考虑采取群论的方法。
经过欧叶和她三个学生的不懈努力，目前这个团队已做到了倒数第四步。
“其实，倒数第四步，也可以认为是正数第一步，它耗时最长。如果我们用两年时间做完倒数第四步，那么后面的三步，可以在两个月内完成……哈……哈欠……”欧叶虽然身体欠佳，但她的数学思路十分清晰。
欧叶刚睡醒，却又哈欠连连，三个学生说到：“叶子姐你休息吧，我们知道该怎么做了！你睡会儿，我们先走了。”
三位学生小心翼翼的装好欧叶的手稿，这便离开人民医院返回燕大。
数院一楼走廊尽头的小房间，是三位学生的作战室。
三人首先将欧叶的手稿整理为可进行计算机验证的电子数据模式。
这份工作大概需要三人连做三天，每人每天的工作时间不会少于12个小时。
欧叶的思路，三个学生非常清楚了。
欧叶从群论出发，通过对典型的椭圆曲线的秩进行计算证明，得到了一个关于椭圆曲线的秩的假设。
这个假设是否可以成为引理，需要验证。
欧叶采取的手段很传统，从典型例子上推断出典型理论，再把典型理论放到全部例子中，以求证它的普适性。