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

1927 数式処理研究の新たな発展   16
(http://hdl.handle.net/2433/223396)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 16 / 16
書誌情報ファイル
表紙・目次
   (2014-12)
  数理解析研究所講究録, 1927
file type icon
包括的グレブナ基底系を利用した限量子消去 (数式処理研究の新たな発展)
  深作, 亮也 (2014-12)
  数理解析研究所講究録, 1927: 1-9
file type icon
機械学習の数式処理への応用について (数式処理研究の新たな発展)
  小林, 宗広 (2014-12)
  数理解析研究所講究録, 1927: 10-16
file type icon
平方根の任意多倍長計算法の例 (数式処理研究の新たな発展)
  堀田, 涼, 田中, 輝雄, 牧野, 潔夫 (2014-12)
  数理解析研究所講究録, 1927: 17-29
file type icon
工学設計における計算機代数の応用 (数式処理研究の新たな発展)
  澤田, 浩之 (2014-12)
  数理解析研究所講究録, 1927: 30-40
file type icon
The Grobner bases for Defining Equations of Simple $K3$ singularities with Indeterminate Exponents (Developments in Computer Algebra Research)
  岩間, 詞也, 高橋, 正 (2014-12)
  数理解析研究所講究録, 1927: 41-43
file type icon
ある反復関数系における塵集合アトラクタ領域について (数式処理研究の新たな発展)
  藤村, 雅代 (2014-12)
  数理解析研究所講究録, 1927: 44-54
file type icon
パラメータ付き対数的ベクトル場と局所コホモロジーについて (数式処理研究の新たな発展)
  鍋島, 克輔, 田島, 慎一 (2014-12)
  数理解析研究所講究録, 1927: 55-65
file type icon
ニュートン非退化孤立特異点と局所コホモロジー類 (数式処理研究の新たな発展)
  田島, 慎一, 梅田, 陽子 (2014-12)
  数理解析研究所講究録, 1927: 66-76
file type icon
Formula Simplification for Real Quantifier Elimination (Developments in Computer Algebra Research)
  岩根, 秀直 (2014-12)
  数理解析研究所講究録, 1927: 77-88
file type icon
タブレット端末への数式処理システムの実装手法 (数式処理研究の新たな発展)
  藤本, 光史 (2014-12)
  数理解析研究所講究録, 1927: 89-102
file type icon
国際研究集会の仕組みとその運営 : ISSAC 2014 (数式処理研究の新たな発展)
  長坂, 耕作 (2014-12)
  数理解析研究所講究録, 1927: 103-105
file type icon
複数個の1変数多項式に対する部分終結式行列の構成に向けて (数式処理研究の新たな発展)
  照井, 章 (2014-12)
  数理解析研究所講究録, 1927: 106-114
file type icon
Barnettの定理に基づく多変数近似GCD計算の改良 : モニックでない場合 (数式処理研究の新たな発展)
  讃岐, 勝 (2014-12)
  数理解析研究所講究録, 1927: 115-121
file type icon
Risa/Asirでの行列演算高速化の試み (数式処理研究の新たな発展)
  兵頭, 礼子, 北村, 竜之介, 近藤, 祐史, 村尾, 裕一, 齋藤, 友克 (2014-12)
  数理解析研究所講究録, 1927: 122-127
file type icon
Towards Type System by Computer Algebra Systems in Programming Language : Extended Abstract (Developments in Computer Algebra Research)
  宮下, 尚, 山口, 哲, 岩ヶ谷, 崇, 易, 軍 (2014-12)
  数理解析研究所講究録, 1927: 128-130
file type icon
文献一覧(目次の昇順ソート): 1 - 16 / 16