書誌情報 | ファイル |
表紙・目次 (2006-09) 数理解析研究所講究録, 1514
| |
拡張 Hensel 構成と多変数代数関数の特異性 (Computer Algebra : Design of Algorithms, Implementations and Applications) 佐々木, 建昭; 稲葉, 大樹; 片町, 健太郎 (2006-09) 数理解析研究所講究録, 1514: 1-7
| |
特異点解消を用いた桁落ち無しべき級数計算 (Computer Algebra : Design of Algorithms, Implementations and Applications) 山内, 歩 (2006-09) 数理解析研究所講究録, 1514: 8-14
| |
従変数に重みをつけた拡張 Hensel 構成と Newton 多面体 (Computer Algebra : Design of Algorithms, Implementations and Applications) 小副川, 健; 佐々木, 建昭 (2006-09) 数理解析研究所講究録, 1514: 15-21
| |
多変数多項式に対する新しい因数分解法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 佐々木, 建昭; 稲葉, 大樹 (2006-09) 数理解析研究所講究録, 1514: 22-28
| |
代数的Riccati 方程式の解法について (Computer Algebra : Design of Algorithms, Implementations and Applications) 北本, 卓也 (2006-09) 数理解析研究所講究録, 1514: 29-32
| |
GAP の関数 Normalizer の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications) 宮本, 泉 (2006-09) 数理解析研究所講究録, 1514: 33-38
| |
$GF(3^m)$におけるTate Pairing の計算および実装について (Computer Algebra : Design of Algorithms, Implementations and Applications) 岩見, 真希; 久保寺, 範和; 側高, 幸治; 岡本, 栄司 (2006-09) 数理解析研究所講究録, 1514: 39-45
| |
An answer to an open problem on cubic spiral transition between two circles(Computer Algebra : Design of Algorithms, Implementations and Applications) Habib, Zulfiqar; Sakai, Manabu (2006-09) 数理解析研究所講究録, 1514: 46-52
| |
数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications) 桐生, 裕介; 長坂, 耕作; 高橋, 正 (2006-09) 数理解析研究所講究録, 1514: 53-58
| |
On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications) YOSHIDA, HIROSHI; ANAI, HIROKAZU; ORII, SHIGEO; HORIMOTO, Katsuhisa (2006-09) 数理解析研究所講究録, 1514: 59-65
| |
Symbolic-Numeric Optimization for Estimation of Parameters in a Biological Kinetic Model(Computer Algebra : Design of Algorithms, Implementations and Applications) ORII, SHIGEO; HORIMOTO, KATSUHISA; ANAI, HIROKAZU (2006-09) 数理解析研究所講究録, 1514: 66-73
| |
Solving and visualizing parametric quantified constraints in control system design(Computer Algebra : Design of Algorithms, Implementations and Applications) 兵頭, 礼子; Hong, Myunghoon; 屋並, 仁史; 穴井, 宏和; Ratschan, Stefan; 原, 辰次 (2006-09) 数理解析研究所講究録, 1514: 74-80
| |
A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications) YANAMI, HITOSHI; ANAI., HIROKAZU (2006-09) 数理解析研究所講究録, 1514: 81-86
| |
1変数多項式の再帰的な多項式剰余列と入れ子部分終結式 (Computer Algebra : Design of Algorithms, Implementations and Applications) 照井, 章 (2006-09) 数理解析研究所講究録, 1514: 87-93
| |
有理式を要素とする行列式の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 梅田, 恭; 佐々木, 建昭 (2006-09) 数理解析研究所講究録, 1514: 94-100
| |
多変数近似GCD 用算法の性能比較 (Computer Algebra : Design of Algorithms, Implementations and Applications) 讃岐, 勝 (2006-09) 数理解析研究所講究録, 1514: 101-107
| |
多項式剰余公式の計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications) 庄司, 卓夢; 田島, 慎一 (2006-09) 数理解析研究所講究録, 1514: 108-114
| |
有理関数補間の不必要な極の解析 (Computer Algebra : Design of Algorithms, Implementations and Applications) 甲斐, 博 (2006-09) 数理解析研究所講究録, 1514: 115-121
| |
多項式の実数解を求める方法について : 再訪 (Computer Algebra : Design of Algorithms, Implementations and Applications) 平野, 照比古 (2006-09) 数理解析研究所講究録, 1514: 122-124
| |