レネ・シューフ(1955年5月8日、デン・ヘルダー生まれ)[ 1 ]は、オランダの数学者で、数論、算術幾何学、符号理論を専門としている。
彼は1985年にアムステルダム大学でヘンドリック・レンストラ教授の指導のもと博士号(楕円曲線と類群)を取得した。[ 1 ] [ 2 ]彼は現在、ローマのトル・ヴェルガータ大学の教授である。[ 3 ]
1985年、Schoofは有限体上の楕円曲線上の点を多項式時間で数えることができるアルゴリズムを発見した。[ 4 ]これは暗号における楕円曲線の使用にとって重要であり、楕円曲線上の点を数えるための最初の決定論的な多項式時間アルゴリズムであったため、理論的なブレークスルーとなった。それ以前に知られていたアルゴリズム(例えば、ベビーステップ・ジャイアントステップアルゴリズム)は指数関数的な実行時間であった。彼のアルゴリズムはAOL Atkin(1992年)とNoam Elkies (1990年)によって改良された。
彼は、有限平坦群スキームに関するドリーニュの定理を、特定の局所アルティン環上の非可換設定に拡張するという、最もよく知られた結果を得た。彼の研究対象は、代数的整数論、アラケロフ理論、岩沢理論、1つの素数のみで悪い還元を持つ有理数上のアーベル多様体の存在と分類に関する問題、およびアルゴリズムなど多岐にわたる。
過去には、ルネはルービックキューブにも取り組み、スピードソルビングで多くの世界記録を樹立するために使用されるF2Lペアと呼ばれる共通戦略を開発しました。この戦略では、ソルバーはエッジピースとコーナーピースからなる4つの2ピース「ペア」を作成し、それぞれをCFOPメソッドのF2Lスロットに「挿入」して、3x3x3ルービックキューブの最初の2層を完成させます。この戦略は、CFOPを3x3x3の段階で使用する場合、リダクション、ヤウ、ホヤメソッドのすべての高次キューブ(4x4x4以上)にも使用されます。