Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
Asirでの3変数陰関数描画について (数式処理研究の新たな発展) 近藤, 祐史; 大墨, 礼子; 村尾, 裕一; 齋藤, 友克 (2015-12) 数理解析研究所講究録, 1976: 17-26
実閉体上の非冠頭標準形論理式に対する限量記号消去における部分論理式の処理順序と計算効率 (数式処理研究の新たな発展) 小林, 宗広; 岩根, 秀直 (2015-12) 数理解析研究所講究録, 1976: 31-44
Bruce-Robertsミルナー数の計算アルゴリズム (数式処理研究の新たな発展) 田島, 慎一; 鍋島, 克輔 (2015-12) 数理解析研究所講究録, 1976: 91-99
実数領域における包括的グレブナー基底系と限量子消去 (数式処理研究の新たな発展) 深作, 亮也 (2015-12) 数理解析研究所講究録, 1976: 27-30
初等幾何学の階層付けと自動定理証明 (数式処理研究の新たな発展) 佐藤, 洋祐 (2015-12) 数理解析研究所講究録, 1976: 52-61
Circumscribed and inscribed ellipses induced by Blaschke products of degree 3 (Developments in Computer Algebra Research) 藤村, 雅代 (2015-12) 数理解析研究所講究録, 1976: 71-80
偏微分作用素環での包括的グレブナー基底系とホロノミー$D$-加群, $b$-関数 (数式処理研究の新たな発展) 鍋島, 克輔; 田島, 慎一 (2015-12) 数理解析研究所講究録, 1976: 100-116
行列Horner法の並列化による行列の固有ベクトル計算の効率化について (数式処理研究の新たな発展) 田島, 慎一; 小原, 功任; 照井, 章 (2015-12) 数理解析研究所講究録, 1976: 81-90
多変数Pade近似とその制御系設計への応用 (数式処理研究の新たな発展) 北本, 卓也 (2015-12) 数理解析研究所講究録, 1976: 62-70
近似GCDにおける逐次的なQR分解法とその実装について (数式処理研究の新たな発展) 長坂, 耕作 (2015-12) 数理解析研究所講究録, 1976: 1-7