小野寺 夏生 | 筑波大学 図書館情報学系
スポンサーリンク
概要
筑波大学 図書館情報学系 | 論文
- 単因子の計算法(数式処理と数学研究への応用)
- Risa/Asir による Euclid 幾何定理証明プログラムの実装
- 折り紙による角の三等分について
- On Numerical Evaluation of Arctangent Function
- 有理数行列のFrobenius標準形のモジュラー計算法 (Computer Algebra : Algorithms, Implementations and Applications)