著者

横山 俊一

出版者

東京都立大学

雑誌

基盤研究(C)

巻号頁・発行日

2020-04-01

---

Julia 言語を用いた新しい数式処理システム Nemo の開発を通して,以下の課題を解決することを目指す.1) AbstractAlgebra.jl の開発を通して,拡大体(とくに局所体)の高速計算アルゴリズムを提案し,高次拡大体の計算や高速同型判定を可能にする.2) Hecke.jl の開発を通して,数論幾何的対象(楕円曲線やモジュラー形式)の計算パッケージを実装し,代数体上の楕円曲線の効率的探索を実現する.また,以上の実装を用いて大規模探索を行い,数論データベース LMFDB の拡張プロジェクトへの貢献を目指す.