Collection home page

1335 Computer Algebra : Algorithms, Implementations and Applications   31
(http://hdl.handle.net/2433/40910)

Browse
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31
BibliographyContents
表紙・目次
   (2003-07)
  数理解析研究所講究録, 1335
file type icon
数式処理による非線形微分方程式の解法
  金, 園益, 金, 龍, 伊藤, 雅明 (2003-07)
  数理解析研究所講究録, 1335: 1-5
file type icon
Max-Plus Algebraの数式処理
  金, 龍, 金, 園益, 伊藤, 雅明 (2003-07)
  数理解析研究所講究録, 1335: 6-12
file type icon
A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
  Kobayashi, Hidetsune, Suzuki, Hideo, Murao, Hirokazu (2003-07)
  数理解析研究所講究録, 1335: 13-19
file type icon
初等幾何における読みやすい証明の生成手法について
  宮本, 健司, 関川, 浩, 白柳, 潔, 町田, 文彦 (2003-07)
  数理解析研究所講究録, 1335: 20-27
file type icon
多項式表現と行列演算の改良
  兵頭, 礼子, 村尾, 裕一, 齋藤, 友克 (2003-07)
  数理解析研究所講究録, 1335: 28-32
file type icon
有理数行列のFrobenius標準形のモジュラー計算法
  森継, 修一 (2003-07)
  数理解析研究所講究録, 1335: 33-40
file type icon
直方体状領域上の分離型線形偏微分方程式の一般化フーリエ・モード解法について
  村上, 弘 (2003-07)
  数理解析研究所講究録, 1335: 41-48
file type icon
微分代数方程式の解のべき級数展開法
  平山, 弘 (2003-07)
  数理解析研究所講究録, 1335: 49-56
file type icon
$G^2$ Pythagorean hodograph quintic transition between two circles (Computer Algebra : Algorithms, Implementations and Applications)
  Habib, Zulfiqar, Sakai, Manabu (2003-07)
  数理解析研究所講究録, 1335: 57-67
file type icon
Shapes of parametric cubic curves (Computer Algebra : Algorithms, Implementations and Applications)
  Habib, Zulfiqar, Sakai, Manabu (2003-07)
  数理解析研究所講究録, 1335: 68-75
file type icon
Associative binary relation and rootfinding methods (Computer Algebra : Algorithms, Implementations and Applications)
  西沢, 清子, 尾身, 和馬 (2003-07)
  数理解析研究所講究録, 1335: 76-83
file type icon
Geometric applications of real elimination methods (Computer Algebra : Algorithms, Implementations and Applications)
  Weispfenning, Volker (2003-07)
  数理解析研究所講究録, 1335: 84-90
file type icon
Linear QE Algorithms and their Implementation on Maple (Computer Algebra : Algorithms, Implementations and Applications)
  Yanami, Hitoshi (2003-07)
  数理解析研究所講究録, 1335: 91-96
file type icon
Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications)
  Anai, Hirokazu, Parrilo, Pablo A. (2003-07)
  数理解析研究所講究録, 1335: 97-104
file type icon
Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
  Sato, Yoske, Suzuki, Akira, Nabeshima, Katsusuke (2003-07)
  数理解析研究所講究録, 1335: 105-110
file type icon
頂点作用素代数研究の計算機による証明支援
  横山, 和弘 (2003-07)
  数理解析研究所講究録, 1335: 111-118
file type icon
代数的アルゴリズムに対する量子計算
  武田, 邦敬, 甲斐, 博, 野田, 松太郎 (2003-07)
  数理解析研究所講究録, 1335: 119-126
file type icon
算術演算を行う量子回路の構成
  國廣, 昇 (2003-07)
  数理解析研究所講究録, 1335: 127-134
file type icon
有限体上の多変数多項式の因数分解について (その2)
  野呂, 正行 (2003-07)
  数理解析研究所講究録, 1335: 135-140
file type icon
List Of Items (Sorted by table of contents in Ascending order): 1 to 20 of 31