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