検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
代数的アルゴリズムに対する量子計算 武田, 邦敬; 甲斐, 博; 野田, 松太郎 (2003-07) 数理解析研究所講究録, 1335: 119-126 | |
頂点作用素代数研究の計算機による証明支援 横山, 和弘 (2003-07) 数理解析研究所講究録, 1335: 111-118 | |
Lupin : from Web Services to Web-based Problem Solving Environments (Computer Algebra : Algorithms, Implementations and Applications) Li, Kai; Sakai, Masato; Morizane, Yukihiro; Kono, Masahiro; Noda, Matu-Tarow (2003-07) 数理解析研究所講究録, 1335: 149-156 | |
有限体上の多変数多項式の因数分解について (その2) 野呂, 正行 (2003-07) 数理解析研究所講究録, 1335: 135-140 | |
算術演算を行う量子回路の構成 國廣, 昇 (2003-07) 数理解析研究所講究録, 1335: 127-134 | |
部分終結式と近接根 佐々木, 建昭 (2003-07) 数理解析研究所講究録, 1335: 157-164 | |
OpenXM1.2.2の概要 (2003-07) 数理解析研究所講究録, 1335: 141-148 | |
数式処理による非線形微分方程式の解法 金, 園益; 金, 龍; 伊藤, 雅明 (2003-07) 数理解析研究所講究録, 1335: 1-5 | |
表紙・目次 (2003-07) 数理解析研究所講究録, 1335 | |
Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications) Sato, Yoske; Suzuki, Akira; Nabeshima, Katsusuke (2003-07) 数理解析研究所講究録, 1335: 105-110 |
絞り込み
分類
- 31 410
資料種別