検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
1階述語言語の逐次漸近標準形について(数式処理と数学研究への応用) 元吉, 文男; 佐藤, 泰介 (1991-05) 数理解析研究所講究録, 753: 135-143 | |
多変数多項式の近似因数分解算法の解析(数式処理と数学研究への応用) 佐々木, 建昭; 斎藤, 友克; 平野, 照比古 (1991-05) 数理解析研究所講究録, 753: 1-10 | |
行列の有理標準形の一計算法(数式処理と数学研究への応用) 竹島, 卓; 横山, 和弘; 野呂, 正行 (1991-05) 数理解析研究所講究録, 753: 18-21 | |
シュレジンガーの標準型への変換(数式処理と数学研究への応用) 河野, 實彦; 大河内, 茂美 (1991-05) 数理解析研究所講究録, 753: 51-70 | |
Zeuthen's Rule について(数式処理と数学研究への応用) 小林, 英恒; 鈴木, 秀夫 (1991-05) 数理解析研究所講究録, 753: 22-27 | |
代数拡大を定める微分方程式について(数式処理と数学研究への応用) 原岡, 喜重 (1991-05) 数理解析研究所講究録, 753: 71-87 | |
Analytic Properties of "Legendre Functions of Two Variables" SEKIGUCHI, Jiro (1991-05) 数理解析研究所講究録, 753: 96-114 | |
On computation of Calibers of Real Quadratic Fields Makino, Isao Matsuda (1991-05) 数理解析研究所講究録, 753: 35-50 | |
高次代数曲線のcomputation diagram(数式処理と数学研究への応用) 中川, 重和; 高橋, 正 (1991-05) 数理解析研究所講究録, 753: 28-34 | |
国産数式処理システムGALにおけるユーザインターフェイスに関する一考察(数式処理と数学研究への応用) 高橋, 岳之; 松永, 稔雄; 長野, 英ニ (1991-05) 数理解析研究所講究録, 753: 144-152 |