Collection home page

1456 Computer Algebra : Design of Algorithms, Implementations and Applications   31
(http://hdl.handle.net/2433/47144)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31
BibliographyContents
表紙・目次
   (2005-11)
  数理解析研究所講究録, 1456
file type icon
主係数が特異な場合の多変数多項式の解析的因数分解
  岩見, 真希 (2005-11)
  数理解析研究所講究録, 1456: 1-9
file type icon
拡張Hensel構成を用いた多変数多項式の因数分解の効率性
  稲葉, 大樹 (2005-11)
  数理解析研究所講究録, 1456: 10-17
file type icon
近接根クラスタの代数的分離法と最小根間距離
  佐々木, 建昭, 加古, 富志雄 (2005-11)
  数理解析研究所講究録, 1456: 18-26
file type icon
1変数代数方程式の一つの近接根クラスタに含まれる近接根の計算
  照井, 章, 佐々木, 建昭 (2005-11)
  数理解析研究所講究録, 1456: 27-34
file type icon
置換群の可移拡大の計算法
  宮本, 泉 (2005-11)
  数理解析研究所講究録, 1456: 35-39
file type icon
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
file type icon
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
file type icon
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
file type icon
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
file type icon
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
file type icon
数学Webサービスにおけるグラフ表示サービスとその教育への応用
  渡邊, 巧, 甲斐, 博, 野田, 松太郎 (2005-11)
  数理解析研究所講究録, 1456: 77-86
file type icon
MathBlackBoard からの OpenXMの利用
  出口, 博章 (2005-11)
  数理解析研究所講究録, 1456: 87-89
file type icon
人間らしい初等幾何証明における角の取り扱いについて
  白柳, 潔, 宮本, 健司, 関川, 浩, 山本, 航 (2005-11)
  数理解析研究所講究録, 1456: 90-99
file type icon
コンパイラと数式処理 : コンパイラ・インフラストラクチャCOINSの活用 : 構想
  藤瀬, 哲朗, 西岡, 利博, 渡邊, 坦 (2005-11)
  数理解析研究所講究録, 1456: 100-107
file type icon
式変形支援システムの作成
  元吉, 文男 (2005-11)
  数理解析研究所講究録, 1456: 108-111
file type icon
局所グレブナ扇
  高山, 信毅, ルッシュディ, バルー (2005-11)
  数理解析研究所講究録, 1456: 112-116
file type icon
Moraの割り算アルゴリズムと多項式のlocal $b$ 関数の計算
  中山, 洋将 (2005-11)
  数理解析研究所講究録, 1456: 117-125
file type icon
零次元代数的局所コホモロジーの計算法とスタンダード基底計算について
  田島, 慎一 (2005-11)
  数理解析研究所講究録, 1456: 126-132
file type icon
高速留数計算アルゴリズム
  庄司, 卓夢, 田島, 慎一 (2005-11)
  数理解析研究所講究録, 1456: 133-143
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31