Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 23.

前
1
2
3
次

検索結果:

書誌情報	ファイル
代数的局所コホモロジー類の満たすホロノミック系の構成法について (数式処理における理論と応用の研究) 中村, 弥生; 田島, 慎一 (2001-04) 数理解析研究所講究録, 1199: 70-89
$D$-加群における$(u,v)$-極小自由分解とその応用 (数式処理における理論と応用の研究) 大阿久, 俊則; 高山, 信毅 (2001-04) 数理解析研究所講究録, 1199: 90-99
微小低次項を持つ代数方程式の根の大きさについて (数式処理における理論と応用の研究) 佐々木, 建昭; 照井, 章 (2001-04) 数理解析研究所講究録, 1199: 132-136
多変数多項式のベキ級数根の桁落ち誤差その2 (数式処理における理論と応用の研究) 佐々木, 建昭; 加古, 富士雄 (2001-04) 数理解析研究所講究録, 1199: 137-148
Reach Set Computations Using Real Quantifier Elimination (Theory and Application in Computer Algebra) Anai, Hirokazu; Weispfenning, Volker (2001-04) 数理解析研究所講究録, 1199: 100-113
偏微分作用素を用いた多変数留数計算アルゴリズムと中国剰余定理 (数式処理における理論と応用の研究) 田島, 慎一 (2001-04) 数理解析研究所講究録, 1199: 51-69
Deciding Linear-Trigonometric Problems (Theory and Application in Computer Algebra) Anai, Hirokazu; Weispfenning, Volker (2001-04) 数理解析研究所講究録, 1199: 114-126
Parametrization by fixed-points multipliers of the polynomials with degree $n$ (Theory and Application in Computer Algebra) Nishizawa, Kiyoko (2001-04) 数理解析研究所講究録, 1199: 127-131
連立多項式の近似根の計算法について (数式処理における理論と応用の研究) 北本, 卓也 (2001-04) 数理解析研究所講究録, 1199: 149-159
REDUCEによる非線型差分方程式の保存密度の計算 (数式処理における理論と応用の研究) 高, 敏; 加藤, 泰幸; 伊藤, 雅明 (2001-04) 数理解析研究所講究録, 1199: 167-172