検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
正規論理とそのmodelについて(計算機構に関する数学的基礎理論とその応用) 坂井, 公 (1983-06) 数理解析研究所講究録, 494: 215-222 | |
C$^\ast$環とK理論(C$^\ast$環とK理論) 中神, 祥臣 (1983-05) 数理解析研究所講究録, 488: 1-26 | |
Relational Algebra Machine GRACE Kitsuregawa, Masaru; Tanaka, Hidehiko; Moto-oka, Tohru (1983-03) 数理解析研究所講究録, 482: 23-40 | |
並列計算機PACS-32によるGauss-Jordan並列解法(数値計算のアルゴリズムの研究) 白川, 友紀; 上村, 健; 星野, 力 (1983-03) 数理解析研究所講究録, 483: 131-146 | |
ベッセル関数パッケージの開発(数値計算のアルゴリズムの研究) 殿塚, 勲; 吹田, 篤治; 唐木, 幸比古 (1983-03) 数理解析研究所講究録, 483: 196-211 | |
非線形方程式の解法(数式処理と数学研究への応用) 平野, 菅保; 亀井, 光雄; 布広, 永示 (1983-04) 数理解析研究所講究録, 486: 67-84 | |
パンルベII型方程式有理関数解を定義する多項式の既約権についての計算機による予想(数式処理と数学研究への応用) 亀高, 惟倫 (1983-04) 数理解析研究所講究録, 486: 94-98 | |
連立1階常微分方程式の形式整級数解の近似計算法(数式処理と数学研究への応用) 藤瀬, 哲朗 (1983-04) 数理解析研究所講究録, 486: 49-66 | |
数式のグラフィックディスプレイによる出力(数式処理と数学研究への応用) 元吉, 文男 (1983-04) 数理解析研究所講究録, 486: 120-123 | |
Notes on a Method for Describing Definitions Theorems, Proofs in Mathematics Ishikawa, Shiro; Nagata, Morio (1983-04) 数理解析研究所講究録, 486: 99-119 |