| 書誌情報 | ファイル |
|---|
表紙・目次
(2005-11)
数理解析研究所講究録, 1456
|  |
主係数が特異な場合の多変数多項式の解析的因数分解
岩見, 真希 (2005-11)
数理解析研究所講究録, 1456: 1-9
| |
拡張Hensel構成を用いた多変数多項式の因数分解の効率性
稲葉, 大樹 (2005-11)
数理解析研究所講究録, 1456: 10-17
| |
近接根クラスタの代数的分離法と最小根間距離
佐々木, 建昭; 加古, 富志雄 (2005-11)
数理解析研究所講究録, 1456: 18-26
| |
1変数代数方程式の一つの近接根クラスタに含まれる近接根の計算
照井, 章; 佐々木, 建昭 (2005-11)
数理解析研究所講究録, 1456: 27-34
| |
置換群の可移拡大の計算法
宮本, 泉 (2005-11)
数理解析研究所講究録, 1456: 35-39
| |
Symbolic-Numeric Optimization for Kinetic Models : An application to bioinformatics field (Computer Algebra : Design of Algorithms, Implementations and Applications)
Orii, Shigeo; Anai, Hirokazu; Horimoto, Katsuhisa (2005-11)
数理解析研究所講究録, 1456: 40-48
| |
On Computing Sum of Roots with Positive Real Parts of Polynomials (Computer Algebra : Design of Algorithms, Implementations and Applications)
Anai, Hirokazu; Yokoyama, Kazuhiro; Hara, Shinji (2005-11)
数理解析研究所講究録, 1456: 49-57
| |
Development of SyNRAC : A Cylindrical Algebraic Decomposition Procedure (Computer Algebra : Design of Algorithms, Implementations and Applications)
Yanami, Hitoshi; Anai, Hirokazu (2005-11)
数理解析研究所講究録, 1456: 58-64
| |
Numerical Cylindrical Algebraic Decomposition with Certification via Symbolic Reconstruction (Computer Algebra : Design of Algorithms, Implementations and Applications)
Anai, Hirokazu; Yokoyama, Kazuhiro (2005-11)
数理解析研究所講究録, 1456: 65-69
| |
A quick computation of all kinds of transversals for dissections of an arrangement (Computer Algebra : Design of Algorithms, Implementations and Applications)
福井, 哲夫; 関口, 次郎 (2005-11)
数理解析研究所講究録, 1456: 70-76
| |
数学Webサービスにおけるグラフ表示サービスとその教育への応用
渡邊, 巧; 甲斐, 博; 野田, 松太郎 (2005-11)
数理解析研究所講究録, 1456: 77-86
| |
MathBlackBoard からの OpenXMの利用
出口, 博章 (2005-11)
数理解析研究所講究録, 1456: 87-89
| |
人間らしい初等幾何証明における角の取り扱いについて
白柳, 潔; 宮本, 健司; 関川, 浩; 山本, 航 (2005-11)
数理解析研究所講究録, 1456: 90-99
| |
コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想
藤瀬, 哲朗; 西岡, 利博; 渡邊, 坦 (2005-11)
数理解析研究所講究録, 1456: 100-107
| |
式変形支援システムの作成
元吉, 文男 (2005-11)
数理解析研究所講究録, 1456: 108-111
| |
局所グレブナ扇
高山, 信毅; ルッシュディ, バルー (2005-11)
数理解析研究所講究録, 1456: 112-116
| |
Moraの割り算アルゴリズムと多項式のlocal $b$ 関数の計算
中山, 洋将 (2005-11)
数理解析研究所講究録, 1456: 117-125
| |
零次元代数的局所コホモロジーの計算法とスタンダード基底計算について
田島, 慎一 (2005-11)
数理解析研究所講究録, 1456: 126-132
| |
高速留数計算アルゴリズム
庄司, 卓夢; 田島, 慎一 (2005-11)
数理解析研究所講究録, 1456: 133-143
| |
