荒井 千里 | 筑波大学図書館情報メディア研究科

スポンサーリンク

概要

• 荒井 千里の詳細を見る
• 同名の論文著者
• 筑波大学図書館情報メディア研究科の論文著者

関連著者

• 荒井 千里

  筑波大学図書館情報メディア研究科

• 森継 修一

  筑波大学図書館情報メディア研究科

• 横山 和弘

  九州大学数理学研究院

• 横山 和弘

  九州大学大学院数理学研究院

• 横山 和弘

  富士通研究所

• 横山 和弘

  立教大学理学部数学科

• 荒井 千里

  筑波大学 図書館情報メディア研究科

• 横山 和弘

  立教大学理学部

• 横山 和弘

  (株)富士通研究所 コンピュータシステム研究所

• 横山 和弘

  富士通研究所国際情報社会科学研究所

• 森継 修一

  筑波大学大学院 図書館情報メディア研究科

• 森継 修一

  筑波大学 図書館情報学系

• 荒井 千里

  筑波大学大学院 図書館情報メディア研究科

もっと見る 閉じる

著作論文

• グレブナー基底による幾何定理の代数的証明の効率について
• グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Risa/Asir による Euclid 幾何定理証明プログラムの実装
• 宮城清行「明元算法」に現れる連立代数方程式の解について
• 和算における「冪乗演段」で扱われた連立代数方程式の解について
• 数式処理を用いた暗号アルゴリズムの実験的評価

スポンサーリンク