コレクションホームページ
1785 数式処理 : その研究と目指すもの
19
1785 数式処理 : その研究と目指すもの
19
(http://hdl.handle.net/2433/172023)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 19 / 19
書誌情報 | ファイル |
---|---|
表紙・目次 (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 |
文献一覧(目次の昇順ソート): 1 - 19 / 19