コレクションホームページ

1976 数式処理研究の新たな発展   13
(http://hdl.handle.net/2433/223852)

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