検索


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

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


検索結果表示: 1-10 / 34.
検索結果:
書誌情報ファイル
浮動小数係数多変数多項式の終結式計算における桁落ち誤差(数式処理における理論と応用の研究)
  佐藤, 智之; 佐々木, 建昭 (1998-04)
  数理解析研究所講究録, 1038: 127-134
file type icon 
Atkin,Elkies らによる Schoof のアルゴリズム改良の実装について(数式処理における理論と応用の研究)
  小暮, 淳; 伊豆, 哲也; 横山, 和弘 (1998-04)
  数理解析研究所講究録, 1038: 230-243
file type icon 
Risa / Asir による modular polynomial の計算(数式処理における理論と応用の研究)
  伊豆, 哲也 (1998-04)
  数理解析研究所講究録, 1038: 244-254
file type icon 
ある種の非線形計画問題の代数的解法について(数式処理における理論と応用の研究)
  白石, 啓一; 甲斐, 博; 齋藤, 友克; 野田, 松太郎 (1998-04)
  数理解析研究所講究録, 1038: 146-153
file type icon 
近似的GCDとハイブリッド有理関数近似の誤差の関係について(数式処理における理論と応用の研究)
  甲斐, 博; 齋藤, 友克; 野田, 松太郎 (1998-04)
  数理解析研究所講究録, 1038: 139-145
file type icon 
加群の積分とその応用(数式処理における理論と応用の研究)
  大阿久, 俊則; 高山, 信毅 (1998-04)
  数理解析研究所講究録, 1038: 163-169
file type icon 
安定化理論の新しい使い道(数式処理における理論と応用の研究)
  白柳, 潔 (1998-04)
  数理解析研究所講究録, 1038: 170-176
file type icon 
近似根の応用について(その3)(数式処理における理論と応用の研究)
  北本, 卓也 (1998-04)
  数理解析研究所講究録, 1038: 135-138
file type icon 
On Solving Semidefinite Programming by Quantifier Elimination
  ANAI, HIROKAZU (1998-04)
  数理解析研究所講究録, 1038: 154-162
file type icon 
浮動小数演算に基づく安定化理論計算システムの作成(数式処理における理論と応用の研究)
  水口, 寛之; 甲斐, 博; 野田, 松太郎 (1998-04)
  数理解析研究所講究録, 1038: 177-182
file type icon