Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 11-20 / 31.

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
Proving and Solving Semi-definite Programming over Reals (Computer Algebra : Algorithms, Implementations and Applications) Anai, Hirokazu; Parrilo, Pablo A. (2003-07) 数理解析研究所講究録, 1335: 97-104
Associative binary relation and rootfinding methods (Computer Algebra : Algorithms, Implementations and Applications) 西沢, 清子; 尾身, 和馬 (2003-07) 数理解析研究所講究録, 1335: 76-83
Shapes of parametric cubic curves (Computer Algebra : Algorithms, Implementations and Applications) Habib, Zulfiqar; Sakai, Manabu (2003-07) 数理解析研究所講究録, 1335: 68-75
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
初等幾何における読みやすい証明の生成手法について宮本, 健司; 関川, 浩; 白柳, 潔; 町田, 文彦 (2003-07) 数理解析研究所講究録, 1335: 20-27
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: 28-32
$G^2$ Pythagorean hodograph quintic transition between two circles (Computer Algebra : Algorithms, Implementations and Applications) Habib, Zulfiqar; Sakai, Manabu (2003-07) 数理解析研究所講究録, 1335: 57-67
直方体状領域上の分離型線形偏微分方程式の一般化フーリエ・モード解法について村上, 弘 (2003-07) 数理解析研究所講究録, 1335: 41-48