コレクションホームページ

1785 数式処理 : その研究と目指すもの   19
(http://hdl.handle.net/2433/172023)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 19 / 19
書誌情報ファイル
表紙・目次
   (2012-03)
  数理解析研究所講究録, 1785
file type icon
近似GCDの無平方分解への応用 : 整数の無平方分解を格子算法に帰着させる試み (数式処理 : その研究と目指すもの)
  長坂, 耕作 (2012-03)
  数理解析研究所講究録, 1785: 1-7
file type icon
近似グレブナー基底の二つの応用 (数式処理 : その研究と目指すもの)
  佐々木, 建昭, 稲葉, 大樹 (2012-03)
  数理解析研究所講究録, 1785: 8-19
file type icon
近似代数による画像処理の実践 (数式処理 : その研究と目指すもの)
  讃岐, 勝 (2012-03)
  数理解析研究所講究録, 1785: 20-27
file type icon
$H_\infty$ノルムを用いた制御系設計について (数式処理 : その研究と目指すもの)
  北本, 卓也 (2012-03)
  数理解析研究所講究録, 1785: 28-31
file type icon
線形文字列変換による対話型数式入力方式の効果 (数式処理 : その研究と目指すもの)
  福井, 哲夫 (2012-03)
  数理解析研究所講究録, 1785: 32-44
file type icon
数式処理システムを用いた組み合わせゲームの研究と教育への応用 (数式処理 : その研究と目指すもの)
  宮寺, 良平 (2012-03)
  数理解析研究所講究録, 1785: 45-50
file type icon
グレブナー基底を使った数独の難易度判定と問題作成 (数式処理 : その研究と目指すもの)
  井上, 秀太郎, 佐藤, 洋祐 (2012-03)
  数理解析研究所講究録, 1785: 51-56
file type icon
楕円曲線の計算にみる数論システムの進展状況 (数式処理 : その研究と目指すもの)
  横山, 俊一 (2012-03)
  数理解析研究所講究録, 1785: 57-66
file type icon
部分直積群の正規化群計算の高速化について (数式処理 : その研究と目指すもの)
  宮本, 泉 (2012-03)
  数理解析研究所講究録, 1785: 67-72
file type icon
パラメトリック多項式最適化問題専用Cylindrical Algebraic Decompositionと動的計画法への適用(数式処理 : その研究と目指すもの)
  岩根, 秀直, 吉良, 知文, 穴井, 宏和 (2012-03)
  数理解析研究所講究録, 1785: 73-87
file type icon
SDPとQEを用いた非線形システムのゲイン解析 (数式処理 : その研究と目指すもの)
  市原, 裕之, 穴井, 宏和 (2012-03)
  数理解析研究所講究録, 1785: 88-98
file type icon
零次元代数的局所コホモロジー類に対する偏微分方程式系のスタンダード基底 (数式処理 : その研究と目指すもの)
  田島, 慎一 (2012-03)
  数理解析研究所講究録, 1785: 99-110
file type icon
パラメータ付き代数的局所コホモロジーの計算について : 半擬斉次孤立特異点の場合 (数式処理 : その研究と目指すもの)
  鍋島, 克輔, 田島, 慎一 (2012-03)
  数理解析研究所講究録, 1785: 111-122
file type icon
拡張行列ホーナー法と行列スペクトル分解の並列算法 (数式処理 : その研究と目指すもの)
  小原, 功任, 田島, 慎一 (2012-03)
  数理解析研究所講究録, 1785: 123-130
file type icon
レゾルベントの線形結合によるフィルタの伝達特性の調整 (数式処理 : その研究と目指すもの)
  村上, 弘 (2012-03)
  数理解析研究所講究録, 1785: 131-145
file type icon
和の満たす非斉次差分方程式系を与えるアルゴリズム (数式処理 : その研究と目指すもの)
  中山, 洋将 (2012-03)
  数理解析研究所講究録, 1785: 146-153
file type icon
非線形境界値問題の大域的解構造の解明 : 数式処理による超越方程式への帰着と解析 (数式処理 : その研究と目指すもの)
  四ツ谷, 晶二 (2012-03)
  数理解析研究所講究録, 1785: 154-161
file type icon
Risa / Asir の行列演算と改良について (数式処理 : その研究と目指すもの)
  兵頭, 礼子, 近藤, 祐史, 村尾, 裕一, 齋藤, 友克 (2012-03)
  数理解析研究所講究録, 1785: 162-166
file type icon
文献一覧(目次の昇順ソート): 1 - 19 / 19