コレクションホームページ
2054 数式処理とその周辺分野の研究
20
2054 数式処理とその周辺分野の研究
20
(http://hdl.handle.net/2433/236730)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 20 / 20
書誌情報 | ファイル |
---|---|
表紙・目次 (2017-10) 数理解析研究所講究録, 2054 | |
安定化手法に基づく計算履歴法とLLLアルゴリズムへの適用 (数式処理とその周辺分野の研究) 永嶋, 裕樹; 白柳, 潔 (2017-10) 数理解析研究所講究録, 2054: 1-13 | |
安定化手法を用いた有理標準形の導出 (数式処理とその周辺分野の研究) 片山, 彰之; 白柳, 潔 (2017-10) 数理解析研究所講究録, 2054: 14-24 | |
安定化理論によるPadé近似計算について (数式処理とその周辺分野の研究) 三宅, 宏季; 甲斐, 博 (2017-10) 数理解析研究所講究録, 2054: 25-30 | |
巨大次数の整数係数1変数多項式のGCD次数判定 (数式処理とその周辺分野の研究) 讃岐, 勝 (2017-10) 数理解析研究所講究録, 2054: 31-39 | |
近似GCDにおける逐次的なQR分解法とその実装についてII (数式処理とその周辺分野の研究) 長坂, 耕作 (2017-10) 数理解析研究所講究録, 2054: 40-41 | |
浮動小数グレブナー基底の安定な算法を目指して (数式処理とその周辺分野の研究) 佐々木, 建昭 (2017-10) 数理解析研究所講究録, 2054: 42-54 | |
疎な多変数多項式の拡張Hensel構成の効率化 (数式処理とその周辺分野の研究) 佐々木, 建昭; 稲葉, 大樹 (2017-10) 数理解析研究所講究録, 2054: 55-67 | |
Symbolic Computing Package for Mathematica (Computer Algebra and Related Topics) Yang, Seong-Deog; Chung, Youngjoo (2017-10) 数理解析研究所講究録, 2054: 68-76 | |
論理式簡単化アルゴリズムWhite-Boxの拡張と実装 (数式処理とその周辺分野の研究) 國廣, 尭之; 岩根, 秀直; 和田, 優未; 照井, 章 (2017-10) 数理解析研究所講究録, 2054: 77-95 | |
ベジェ曲線による曲線近似とその応用 (数式処理とその周辺分野の研究) 大島, 利雄 (2017-10) 数理解析研究所講究録, 2054: 96-104 | |
2元分割表に対する差分ホロノミック勾配法の実装 (数式処理とその周辺分野の研究) 後藤, 良彰; 橘, 義仁; 高山, 信毅 (2017-10) 数理解析研究所講究録, 2054: 105-117 | |
グレブナー基底を用いた収束冪級数環での拡張イデアル所属アルゴリズムについて (数式処理とその周辺分野の研究) 鍋島, 克輔; 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 118-125 | |
D. Siersmaの非孤立特異点に付随するD-加群とPoincaré-Birkhoff-Witt代数 (数式処理とその周辺分野の研究) 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 126-133 | |
Poincaré-Birkhoff-Witt代数のグレブナー基底計算とRisa/Asirへの実装 (数式処理とその周辺分野の研究) 小原, 功任; 田島, 慎一 (2017-10) 数理解析研究所講究録, 2054: 134-138 | |
擬素数の約数計算について (数式処理とその周辺分野の研究) 宮本, 泉 (2017-10) 数理解析研究所講究録, 2054: 139-145 | |
THEOREMAを用いた自動定理証明について (数式処理とその周辺分野の研究) 田中, 寛人; 高橋, 正 (2017-10) 数理解析研究所講究録, 2054: 146-152 | |
円内接多角形問題について : 半径公式再論 (数式処理とその周辺分野の研究) 森継, 修一 (2017-10) 数理解析研究所講究録, 2054: 153-161 | |
2根を指定した場合の最近接多項式 (数式処理とその周辺分野の研究) 櫻井, 優太; 関川, 浩 (2017-10) 数理解析研究所講究録, 2054: 162-167 | |
レゾルベントの多項式によるフィルタの伝達特性の調整 (数式処理とその周辺分野の研究) 村上, 弘 (2017-10) 数理解析研究所講究録, 2054: 168-181 |
文献一覧(目次の昇順ソート): 1 - 20 / 20