Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


Results 11-19 of 19 (Search time: 0.098 seconds).
Item hits:
BibliographyContents
行列指数関数のPade近似について (数式処理 : その研究と目指すもの)
  北本, 卓也 (2013-07)
  数理解析研究所講究録, 1843: 1-7
file type icon 
Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの)
  近藤, 祐史, 兵頭, 礼子, 村尾, 裕一, 齋藤, 友克 (2013-07)
  数理解析研究所講究録, 1843: 140-145
file type icon 
次数33の可移置換群の分類について (数式処理 : その研究と目指すもの)
  宮本, 泉 (2013-07)
  数理解析研究所講究録, 1843: 22-27
file type icon 
表紙・目次
   (2013-07)
  数理解析研究所講究録, 1843
file type icon 
統合システムSageとクラウド型CASの最新事情 (数式処理 : その研究と目指すもの)
  横山, 俊一 (2013-07)
  数理解析研究所講究録, 1843: 131-139
file type icon 
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
  岩根, 秀直, 樋口, 博之, 穴井, 宏和 (2013-07)
  数理解析研究所講究録, 1843: 66-79
file type icon 
一般固有ベクトル空間の構造を求める計算法について (数式処理 : その研究と目指すもの)
  田島, 慎一 (2013-07)
  数理解析研究所講究録, 1843: 146-154
file type icon 
Lauricella 超幾何微分方程式系のグレブナー基底について (数式処理 : その研究と目指すもの)
  中山, 洋将 (2013-07)
  数理解析研究所講究録, 1843: 114-118
file type icon 
Geometric Properties of Plane Quartics (Computer Algebra : The Algorithms, Implementations and the Next Generation)
  Takahashi, Tadashi (2013-07)
  数理解析研究所講究録, 1843: 163-165
file type icon