コレクションホームページ
2255 Computer Algebra --Foundations and Applications
19
2255 Computer Algebra --Foundations and Applications
19
(http://hdl.handle.net/2433/287155)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 19 / 19
書誌情報 | ファイル |
---|---|
表紙・目次 (2023-06) 数理解析研究所講究録, 2255 | |
Boolean Groebner 基底を用いた数独パズルの数学的難易度指標の相関について 中野, 哲夫; 進藤, 未来; 吉原, 元 (2023-06) 数理解析研究所講究録, 2255: 1-13 | |
独立性の検定に関するHTMLをベースとした教材の操作ログの解析 北本, 卓也; 金子, 真隆; 野田, 健夫 (2023-06) 数理解析研究所講究録, 2255: 14-25 | |
区間演算を用いた反復計算について 大墨, 礼子; 近藤, 祐史; 藤村, 雅代 (2023-06) 数理解析研究所講究録, 2255: 26-31 | |
An extension of Chapple's formula by Blaschke-like maps (Computer Algebra : Foundations and Applications) Fujimura, Masayo (2023-06) 数理解析研究所講究録, 2255: 32-38 | |
TES (Term Elimination Sequence)について 佐々木, 建昭 (2023-06) 数理解析研究所講究録, 2255: 39-50 | |
ゲーム理論における数式処理の応用 --浮動小数係数多項式系に対するグレブナ基底の計算-- 高橋, 正; 宮寺, 良平 (2023-06) 数理解析研究所講究録, 2255: 51-60 | |
Signature based algorithm における𝘍₄スタイルの簡約アルゴリズムの実装について 野呂, 正行 (2023-06) 数理解析研究所講究録, 2255: 61-70 | |
グレブナー基底による多面体の頂点の計算 中山, 洋将; 山本, 侑理 (2023-06) 数理解析研究所講究録, 2255: 71-74 | |
正次元イデアルのネター作用素の計算と特異点 鍋島, 克輔; 田島, 慎一 (2023-06) 数理解析研究所講究録, 2255: 75-87 | |
多項式函数のbifurcation setの計算法I 田島, 慎一; 鍋島, 克輔 (2023-06) 数理解析研究所講究録, 2255: 88-95 | |
パラメータ付きのイデアル操作の計算について 石原, 侑樹 (2023-06) 数理解析研究所講究録, 2255: 96-105 | |
因子分析へのグレブナー基底に基づくアプローチ 深作, 亮也; 廣瀬, 慧; 加葉田, 雄太朗; 寺本, 圭佑 (2023-06) 数理解析研究所講究録, 2255: 106-116 | |
二変数多項式の近似GCD 長坂, 耕作 (2023-06) 数理解析研究所講究録, 2255: 117-125 | |
フィルタを用いた固有値問題の近似解法について 村上, 弘 (2023-06) 数理解析研究所講究録, 2255: 126-145 | |
K-hive上のA型結晶構造に関するアルゴリズムとその実装 成澤, 翔大; 白柳, 潔 (2023-06) 数理解析研究所講究録, 2255: 146-163 | |
角度に制限を設けた格子三角形による正方形の三角形分割 青木, 史也; 武田, 渉; 関川, 浩 (2023-06) 数理解析研究所講究録, 2255: 164-173 | |
マンハッタン距離ボロノイ図からの母点探索 山中, 悠輔; 武田, 渉; 関川, 浩 (2023-06) 数理解析研究所講究録, 2255: 174-183 | |
前処理によるBarnettの定理に基づく近似GCD計算の安定化の検討 讃岐, 勝 (2023-06) 数理解析研究所講究録, 2255: 184-194 |
文献一覧(目次の昇順ソート): 1 - 19 / 19