Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
3
次

検索結果:

書誌情報	ファイル
Some applications of computer algebra to vector bundles on projective spaces (Theory and Application in Computer Algebra) Ancona, Vincenzo (2000-04) 数理解析研究所講究録, 1138: 116-126
OpenXMプロジェクトの現状について (数式処理における理論と応用の研究) 奥谷, 行央; 小原, 功任; 高山, 信毅; 田村, 恭士; 野呂, 正行; 前川, 将秀 (2000-04) 数理解析研究所講究録, 1138: 189-200
Grobner basisによる分割表の数え上げ (数式処理における理論と応用の研究) 中川, 重和 (2000-04) 数理解析研究所講究録, 1138: 172-179
グレブナ基底 : 理論,計算の効率化,応用 (数式処理における理論と応用の研究) 野呂, 正行 (2000-04) 数理解析研究所講究録, 1138: 127-171
戦術に忠実な並列Buchberger算法 (数式処理における理論と応用の研究) 鈴木, 正幸 (2000-04) 数理解析研究所講究録, 1138: 180-188
等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究) 元吉, 文男; 秋葉, 澄孝; 佐藤, 泰介 (2000-04) 数理解析研究所講究録, 1138: 220-225
数式処理システムの数学教育への活用とミドルレギュレータの開発 (数式処理における理論と応用の研究) 出口, 博章; 高橋, 正 (2000-04) 数理解析研究所講究録, 1138: 201-210
The arbitrary precision calculation of logarithms with continued fraction expansions (Theory and Application in Computer Algebra) Makino, Isao; Aoyama, Takeshi (2000-04) 数理解析研究所講究録, 1138: 240-246
有理演算による実対称行列の三重対角化 (数式処理における理論と応用の研究) 関川, 浩 (2000-04) 数理解析研究所講究録, 1138: 226-233
分割統治法による多倍長演算の高速化 (数式処理における理論と応用の研究) 平山, 弘 (2000-04) 数理解析研究所講究録, 1138: 247-255