検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
real root countingに関する話題 木村, 欣司; 平野, 照比古; 荻田, 武史; 山澤, 宏樹; 曽我部, 知広; 横山, 和弘 (2005-11) 数理解析研究所講究録, 1456: 180-187 | |
指数対数関数等の超越関数の多倍精度計算 平山, 弘; 森川, 敦司 (2005-11) 数理解析研究所講究録, 1456: 174-179 | |
一般化されたオイラーの定数について 西沢, 清子; 齋藤, 真一 (2005-11) 数理解析研究所講究録, 1456: 167-173 | |
数論システムNZMATHにおける複数多項式二次篩法(MPQS)の実装について 熊木, 幸司 (2005-11) 数理解析研究所講究録, 1456: 151-158 | |
Stability of Grobner bases and ACGB : revised (Computer Algebra : Design of Algorithms, Implementations and Applications) Sato, Yosuke (2005-11) 数理解析研究所講究録, 1456: 195-205 | |
SCILABへのべき級数の導入とその制御系設計への応用 北本, 卓也 (2005-11) 数理解析研究所講究録, 1456: 159-166 | |
連分数展開による有理関数の復元とその応用について 村上, 弘 (2005-11) 数理解析研究所講究録, 1456: 188-194 | |
人間らしい初等幾何証明における角の取り扱いについて 白柳, 潔; 宮本, 健司; 関川, 浩; 山本, 航 (2005-11) 数理解析研究所講究録, 1456: 90-99 | |
コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想 藤瀬, 哲朗; 西岡, 利博; 渡邊, 坦 (2005-11) 数理解析研究所講究録, 1456: 100-107 | |
Risa/Asirの行列演算の実装(II) 兵頭, 礼子; 村尾, 裕一; 齋藤, 友克 (2005-11) 数理解析研究所講究録, 1456: 144-150 |
絞り込み
発行日
- 31 2005
資料種別