1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 31.
検索結果:
書誌情報ファイル
代数的アルゴリズムに対する量子計算
  武田, 邦敬; 甲斐, 博; 野田, 松太郎 (2003-07)
  数理解析研究所講究録, 1335: 119-126
file type icon 
頂点作用素代数研究の計算機による証明支援
  横山, 和弘 (2003-07)
  数理解析研究所講究録, 1335: 111-118
file type icon 
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
file type icon 
有限体上の多変数多項式の因数分解について (その2)
  野呂, 正行 (2003-07)
  数理解析研究所講究録, 1335: 135-140
file type icon 
算術演算を行う量子回路の構成
  國廣, 昇 (2003-07)
  数理解析研究所講究録, 1335: 127-134
file type icon 
部分終結式と近接根
  佐々木, 建昭 (2003-07)
  数理解析研究所講究録, 1335: 157-164
file type icon 
OpenXM1.2.2の概要
   (2003-07)
  数理解析研究所講究録, 1335: 141-148
file type icon 
数式処理による非線形微分方程式の解法
  金, 園益; 金, 龍; 伊藤, 雅明 (2003-07)
  数理解析研究所講究録, 1335: 1-5
file type icon 
表紙・目次
   (2003-07)
  数理解析研究所講究録, 1335
file type icon 
Generalized Discrete Comprehensive Grobner Bases (Computer Algebra : Algorithms, Implementations and Applications)
  Sato, Yoske; Suzuki, Akira; Nabeshima, Katsusuke (2003-07)
  数理解析研究所講究録, 1335: 105-110
file type icon 

絞り込み