検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。


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