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