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