Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
4
次

検索結果:

書誌情報	ファイル
On relationship between proliferation and transition raets of multicells(Computer Algebra : Design of Algorithms, Implementations and Applications) YOSHIDA, HIROSHI; ANAI, HIROKAZU; ORII, SHIGEO; HORIMOTO, Katsuhisa (2006-09) 数理解析研究所講究録, 1514: 59-65
An answer to an open problem on cubic spiral transition between two circles(Computer Algebra : Design of Algorithms, Implementations and Applications) Habib, Zulfiqar; Sakai, Manabu (2006-09) 数理解析研究所講究録, 1514: 46-52
A Quantifier Elimination Procedure Based on Cylindrical Algebraic Decomposition in SyNRAC(Computer Algebra : Design of Algorithms, Implementations and Applications) YANAMI, HITOSHI; ANAI., HIROKAZU (2006-09) 数理解析研究所講究録, 1514: 81-86
Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications) KOBAYASHI, HIDETSUNE; SUZUKI, HIDEO (2006-09) 数理解析研究所講究録, 1514: 148-154
Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications) MORITSUGU, SHUICHI (2006-09) 数理解析研究所講究録, 1514: 155-159
数式処理システムを用いた芸術における数理科学的アプローチ (Computer Algebra : Design of Algorithms, Implementations and Applications) 桐生, 裕介; 長坂, 耕作; 高橋, 正 (2006-09) 数理解析研究所講究録, 1514: 53-58
有理式を要素とする行列式の計算法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 梅田, 恭; 佐々木, 建昭 (2006-09) 数理解析研究所講究録, 1514: 94-100
代数的Riccati 方程式の解法について (Computer Algebra : Design of Algorithms, Implementations and Applications) 北本, 卓也 (2006-09) 数理解析研究所講究録, 1514: 29-32
ユーザ定義述語を含む系の限量子消去法 (Computer Algebra : Design of Algorithms, Implementations and Applications) 元吉, 文男; 秋葉, 澄孝 (2006-09) 数理解析研究所講究録, 1514: 160-163
多項式剰余公式の計算アルゴリズム (Computer Algebra : Design of Algorithms, Implementations and Applications) 庄司, 卓夢; 田島, 慎一 (2006-09) 数理解析研究所講究録, 1514: 108-114