コレクションホームページ

1652 Computer Algebra : Design of Algorithms, Implementations and Applications   28
(http://hdl.handle.net/2433/139670)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 28
書誌情報ファイル
表紙・目次
   (2009-06)
  数理解析研究所講究録, 1652
file type icon
係数ドメインを多項式環とする多項式環の簡約グレブナ基底について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  鍋島, 克輔 (2009-06)
  数理解析研究所講究録, 1652: 1-10
file type icon
Comprehensive Grobner systemにおけるNabeshima algorithmの改良とその検証 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  篠原, 直行 (2009-06)
  数理解析研究所講究録, 1652: 11-18
file type icon
グレブナーwalkアルゴリズムの実装と効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  野呂, 正行, 崎山, 裕尊 (2009-06)
  数理解析研究所講究録, 1652: 19-25
file type icon
安定化理論に基づくInterval Trace Liftingについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
  白柳, 潔, 関川, 浩 (2009-06)
  数理解析研究所講究録, 1652: 26-32
file type icon
悪条件性を推定する浮動小数グレブナー基底の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  佐々木, 建昭, 加古, 富志雄 (2009-06)
  数理解析研究所講究録, 1652: 33-43
file type icon
Interesting Variants of the Josephus Problem : How high school students can discover theorems using computer algebra systems (Computer Algebra : Design of Algorithms, Implementations and Applications)
  MIYADERA, RYOHEI, MINEMATSU, DAISUKE, MATSUI, HIROSHI, YAMAUCHI, TOSHIYUKI, NAITO, MASAKAZU, TATSUMI, SOH, INOUE, TAKAFUMI (2009-06)
  数理解析研究所講究録, 1652: 44-54
file type icon
安定化剰余列算法の改良 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  讃岐, 勝 (2009-06)
  数理解析研究所講究録, 1652: 55-62
file type icon
Ruppert行列による近似GCDの算出 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  長坂, 耕作 (2009-06)
  数理解析研究所講究録, 1652: 63-70
file type icon
係数の小さい$\mathbb{K}[x]$上格子基底 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  大倉, 安孝 (2009-06)
  数理解析研究所講究録, 1652: 71-78
file type icon
判別式と拡張Hensel構成 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  小副川, 健 (2009-06)
  数理解析研究所講究録, 1652: 79-84
file type icon
多変数代数関数のTaylor & Hensel級数の収束領域 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  佐々木, 建昭, 稲葉, 大樹 (2009-06)
  数理解析研究所講究録, 1652: 85-92
file type icon
傾きを用いた衣服記号記述基盤について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  桐生, 裕介, 北本, 卓也, 山口, 哲 (2009-06)
  数理解析研究所講究録, 1652: 93-101
file type icon
Computations of noncommutative Alexander invariants (Computer Algebra : Design of Algorithms, Implementations and Applications)
  逆井, 卓也, 桐生, 裕介 (2009-06)
  数理解析研究所講究録, 1652: 102-111
file type icon
陰関数描画と区間数演算の効率化について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  村尾, 裕一, 齋藤, 友克, 近藤, 祐史 (2009-06)
  数理解析研究所講究録, 1652: 112-119
file type icon
インタラクティブコンピューティングの世界 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  五十嵐, 健夫 (2009-06)
  数理解析研究所講究録, 1652: 120-124
file type icon
GAPを用いたRubik's Cube解法表示ソフトについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
  田崎, 拓馬, 藤本, 光史 (2009-06)
  数理解析研究所講究録, 1652: 125-131
file type icon
一般化van der Monde行列の行列式について (Computer Algebra : Design of Algorithms, Implementations and Applications)
  北本, 卓也, 山口, 哲 (2009-06)
  数理解析研究所講究録, 1652: 132-133
file type icon
数値代数方程式のフィルタ対角化法による解法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
  村上, 弘 (2009-06)
  数理解析研究所講究録, 1652: 134-145
file type icon
有限体上の予想される第一原始多項式について
  太刀川, 弘幸, 照井, 章 (2009-06)
  数理解析研究所講究録, 1652: 146-154
file type icon
文献一覧(目次の昇順ソート): 1 - 20 / 28