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

1843 Computer Algebra : The Algorithms, Implementations and the Next Generation   19
(http://hdl.handle.net/2433/194213)

ブラウズ
文献一覧(目次の昇順ソート): 1 - 19 / 19
書誌情報ファイル
表紙・目次
   (2013-07)
  数理解析研究所講究録, 1843
file type icon
行列指数関数のPade近似について (数式処理 : その研究と目指すもの)
  北本, 卓也 (2013-07)
  数理解析研究所講究録, 1843: 1-7
file type icon
過酷事故に陥った航空機の制御を目指して : 多変数べき級数根の利用 (数式処理 : その研究と目指すもの)
  佐々木, 建昭, 稲葉, 大樹 (2013-07)
  数理解析研究所講究録, 1843: 8-21
file type icon
次数33の可移置換群の分類について (数式処理 : その研究と目指すもの)
  宮本, 泉 (2013-07)
  数理解析研究所講究録, 1843: 22-27
file type icon
数独の難易度判定のためのブーリアングレブナー基底の並列計算について (数式処理 : その研究と目指すもの)
  佐藤, 裕介, 井上, 秀太郎, 佐藤, 洋祐 (2013-07)
  数理解析研究所講究録, 1843: 28-37
file type icon
グレブナー基底候補の正当性検証について (数式処理 : その研究と目指すもの)
  野呂, 正行, 横山, 和弘 (2013-07)
  数理解析研究所講究録, 1843: 38-50
file type icon
ブーリアングレブナ基底の時間割作成問題への応用 (数式処理 : その研究と目指すもの)
  井上, 秀太郎 (2013-07)
  数理解析研究所講究録, 1843: 51-55
file type icon
$mu$-constant deformation に対する代数的局所コホモロジーとTjurina stratification (数式処理 : その研究と目指すもの)
  鍋島, 克輔, 田島, 慎一 (2013-07)
  数理解析研究所講究録, 1843: 56-65
file type icon
Sign Definite Condition 専用 Quantifier Elimination における論理式の簡単化 (数式処理 : その研究と目指すもの)
  岩根, 秀直, 樋口, 博之, 穴井, 宏和 (2013-07)
  数理解析研究所講究録, 1843: 66-79
file type icon
近似特異系の特異化 : 摂動で乱れた系の矯正 (数式処理 : その研究と目指すもの)
  佐々木, 建昭 (2013-07)
  数理解析研究所講究録, 1843: 80-93
file type icon
近似共通因子を持つ多項式の規格化 (数式処理 : その研究と目指すもの)
  讃岐, 勝 (2013-07)
  数理解析研究所講究録, 1843: 94-100
file type icon
SNAP package and Improved QRGCD algorithm (Computer Algebra : The Algorithms, Implementations and the Next Generation)
  増井, 貴明, 長坂, 耕作 (2013-07)
  数理解析研究所講究録, 1843: 101-113
file type icon
Lauricella 超幾何微分方程式系のグレブナー基底について (数式処理 : その研究と目指すもの)
  中山, 洋将 (2013-07)
  数理解析研究所講究録, 1843: 114-118
file type icon
対話型数式ユーザインタフェースMathTOUCHにおける数式表記表現の代数的ルールによる正準化の方法 (数式処理 : その研究と目指すもの)
  福井, 哲夫 (2013-07)
  数理解析研究所講究録, 1843: 119-130
file type icon
統合システムSageとクラウド型CASの最新事情 (数式処理 : その研究と目指すもの)
  横山, 俊一 (2013-07)
  数理解析研究所講究録, 1843: 131-139
file type icon
Asirでの3変数陰関数描画 (数式処理 : その研究と目指すもの)
  近藤, 祐史, 兵頭, 礼子, 村尾, 裕一, 齋藤, 友克 (2013-07)
  数理解析研究所講究録, 1843: 140-145
file type icon
一般固有ベクトル空間の構造を求める計算法について (数式処理 : その研究と目指すもの)
  田島, 慎一 (2013-07)
  数理解析研究所講究録, 1843: 146-154
file type icon
シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)
  森継, 修一 (2013-07)
  数理解析研究所講究録, 1843: 155-162
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
文献一覧(目次の昇順ソート): 1 - 19 / 19