書誌情報	ファイル
表紙・目次    (1999-03)   数理解析研究所講究録, 1085
数式処理システムにおけるMiddle Regulatorの開発 (数式処理における理論と応用の研究)   出口, 博章 (1999-03)   数理解析研究所講究録, 1085: 1-8
Javaを用いた遠隔数式処理システムの利用について (数式処理における理論と応用の研究)   小西, 博文; 高橋, 正 (1999-03)   数理解析研究所講究録, 1085: 9-13
数式処理システムの目的別フロントエンドの開発 (数式処理における理論と応用の研究)   穴田, 恭輔; 高橋, 正 (1999-03)   数理解析研究所講究録, 1085: 14-16
SCSを用いた数式処理システムの利用技術について (数式処理における理論と応用の研究)   Takeuchi, Yorikazu; Takahashi, Tadashi (1999-03)   数理解析研究所講究録, 1085: 17-20
Simple K3特異点分類定理のプログラム化 (数式処理における理論と応用の研究)   門脇, 圭治; 高橋, 正 (1999-03)   数理解析研究所講究録, 1085: 21-24
体の直積構造を利用したBoolean Grobner Basisの並列計算アルゴリズムについて (数式処理における理論と応用の研究)   佐藤, 洋祐; 三橋, 元洋 (1999-03)   数理解析研究所講究録, 1085: 25-33
Von Neumann regular ring上の多項式環のGrobner basesの応用 : 特別な場合のcomprehensive Grobner bases (数式処理における理論と応用の研究)   佐藤, 洋祐 (1999-03)   数理解析研究所講究録, 1085: 34-41
近似代数とその制御系設計への応用 (数式処理における理論と応用の研究)   北本, 卓也 (1999-03)   数理解析研究所講究録, 1085: 42-48
制約評価技術に基づく初期設計支援システムの開発 (数式処理における理論と応用の研究)   沢田, 浩之 (1999-03)   数理解析研究所講究録, 1085: 49-59
Symbolic Analysis of Discrete-Time Polynomial Systems (Theory and Application in Computer Algebra)   Anai, Hirokazu (1999-03)   数理解析研究所講究録, 1085: 60-70
多変数有理関数の留数計算について (数式処理における理論と応用の研究)   田島, 慎一; 中村, 弥生 (1999-03)   数理解析研究所講究録, 1085: 71-81
Grothendieck dualityの計算と多変数Hermite補間問題 (数式処理における理論と応用の研究)   田島, 慎一 (1999-03)   数理解析研究所講究録, 1085: 82-90
Inflection points and singularities on planar rational cubic curve segments (Theory and Application in Computer Algebra)   Sakai, Manabu (1999-03)   数理解析研究所講究録, 1085: 91-98
The CHACM Method for Computing the Characteristic Polynomial of a Polynomial Matrix (Theory and Application in Computer Algebra)   Yu, Bo; Kitamoto, Takuya (1999-03)   数理解析研究所講究録, 1085: 99-107
Lanczos法による行列の固有多項式の厳密計算 (数式処理における理論と応用の研究)   村上, 弘 (1999-03)   数理解析研究所講究録, 1085: 108-110
Approximate Zero-points of Univariate Polynomial with Large Error Terms (Theory and Application in Computer Algebra)   Terui, Akira; Sasaki, Tateaki (1999-03)   数理解析研究所講究録, 1085: 111-119
浮動小数係数多変数多項式の終結式計算における桁落ち誤差とその解析 (数式処理における理論と応用の研究)   佐藤, 智之; 佐々木, 建昭 (1999-03)   数理解析研究所講究録, 1085: 120-131
数式処理から見た行列の数値計算アルゴリズム (数式処理における理論と応用の研究)   関川, 浩 (1999-03)   数理解析研究所講究録, 1085: 132-139
多項式乗算の様々なアルゴリズムの比較 (数式処理における理論と応用の研究)   紺谷, 拓弥; 野呂, 正行 (1999-03)   数理解析研究所講究録, 1085: 140-150