小林 英恒 | 日本大学理工学部数学科
スポンサーリンク
概要
関連著者
-
小林 英恒
日本大学理工学部数学科
-
小林 英恒
日本大学理工学部
-
鈴木 秀男
能力開発総合大学校東京校情報技術科
-
鈴木 秀男
東京職業能力開発短大・情報処理
-
古川 昭夫
エス・イー・ジー
-
古川 昭夫
都立大学数学科
-
鈴木 秀男
職業能力開発総合大学校東京校
-
栗野 俊一
日本大学理工学部数学科
-
小林 英恒
日本大学 理工学部
-
栗野 俊一
日本大学理工学部
-
藤瀬 哲朗
三菱総合研究所
-
小野 陽子
島根県立大学
-
村尾 裕一
東大 大型計算機セ
-
村尾 裕一
電気通信大学
-
小林 英恒
Department pf Mathematics, Nihon University
-
小野 陽子
横浜市立大学国際総合科学部
-
森継 修一
Department Of Information Science Faculty Of Science University Of Tokyo
-
森継 修一
筑波大学 図書館情報学系
-
三島 健稔
埼玉大学工学部情報システム工学科
-
古川 昭夫
東京都立大学理学部数学科
-
古川 昭夫
Department of Mathematics, Tokyo Metropolitan University
-
佐々木 建昭
The Institute of Physical and Chemical Research
-
森継 修一
東京大学理学部
-
三島 健稔
埼玉大学工業部情報システム工学科
-
何 成
日大
-
陳 凌鈞
日本大学理工学部
-
Lin Dongdai
日本大学理工学部
-
鈴木 秀男
東京職業訓練短期大学
-
小野 陽子
新潟国際情報大学
-
森継 修一
図書館情報大学図書館情報学部
-
小林 英恒
計算論理研究室
-
藤瀬 哲朗
(株)三菱総合研究所
-
小林 英恒
日大理工
-
三島 健稔
埼玉大学大学院理工学研究科
-
森下 壮一郎
東京大学人工物工学研究センター
-
森下 壮一郎
埼玉大学大学院 理工学研究科
-
古川 昭夫
都立大学理学部
-
鈴木 秀男
職能開発大
-
何 成
Nihon University
-
鈴木 秀男
Tokyo Polytechnic University
-
小林 英恒
Nihon University
-
三浦 正浩
株式会社創夢
-
鈴木 秀男
東京能力開発大学校
-
村尾 裕一
電気通信大学電気通信学部情報工学科
-
遠山 和宏
日本大学大学院理工学研究科情報科学専攻
-
小川 怜
日本大学理工学部数学科
-
石引 健治
日本大学理工学部
-
村尾 裕一
東京大学大型計算機センター
-
鈴木 秀夫
東京職業訓練短期大学
-
ホーガン ロバート
シチズン時計
-
藤瀬 哲朗
電気通信大学電気通信部情報数理工学科
-
小林 英恒[他]
日本大学理工学部
-
小林 英恒
計算論理研究所
著作論文
- G-基底によるU-終結式の構成(数式処理と数学研究への応用)
- Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
- GROBNER BASIS OF IDEAL OF CONVERGENT POWER SERIES
- 一般消去法による方程式の解法と実例(数式処理と数学研究への応用)
- 単因子の計算法(数式処理と数学研究への応用)
- Grobner-Basisとその応用(数式処理と数学研究への応用)
- 1M-1 ホモトピー法への一次分数変換の適用法について
- 大学における事務ネットワークセキュリティについて
- FTAによる内的セキュリティシステムのための知識表現
- A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
- Presentation Hensel's Lemma in Isabelle/HOL(Computer Algebra : Design of Algorithms, Implementations and Applications)
- F_018 Constructing and Using a Web Service to Find Theorems
- F-028 The Implementation of a Proof Search System for Isabelle
- Formalization of the valuation theory (Algebra, Languages and Computation)
- A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(A.モデル・アルゴリズム・プログラミング)
- ホモトピー法のパラメータに一次分数変換を適用した近接根問題の解法について(アルゴリズム理論)
- A Relation between a Group and a Ring (Computer Algebra : Algorithms, Implementations and Applications)
- A Machine Proof of the Proposition : "Ideal $\subseteq \cup_i$ PrimeIdeal$_i$ $\Rightarrow$ Ideal $\subseteq$ PrimeIdeal$_i$" (Computer Algebra : Algorithms, Implementations and Applications)
- "Ring Story"再考 : トレンド,エヴォリューション,そして計画
- 一次分数変換を利用した連立代数方程式の近接根の分離と擬局所化における誤差について
- 連立代数方程式の数値解法における一次分数変換の新たな適用について
- 連立代数方程式の減次の可能性について(数式処理における理論と応用の研究)
- 連立代数方程式の擬局所化の過程で生じる誤差についての報告
- 連立代数方程式の擬局所化の過程で生じる誤差について
- 連立代数方程式の近接根の分離と擬局所化の可能性について(数式処理における理論と応用の研究)
- 一次分数変換を利用した近接根の分離方法とその誤差について
- 一次分数変換を利用した連立代数方程式の高精度計算法
- 1次分数変換を利用した1変数代数方程式の近接根の分離
- D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
- 分散データベースを用いたIDSの構築
- 特殊関数のデータ・ベース化について(数式処理における理論とその応用の研究)
- On Solving the Initial Problem of LR Arrays
- 分数変換による近接根の分離について(数式処理における理論とその応用の研究)
- Some Computations over Successive Algebraic Extension Fields
- 連立代数方程式の解の重複度(精度保証付き数値計算法とその応用)
- 記号行列式の一階微分の評価法
- ネータの正規化定理について(数式処理と数学研究への応用)
- 連立代数方程式の解の重複度(非線形問題の数値解析)
- Zeuthen's Rule について(数式処理と数学研究への応用)
- 国際数式記号処理学会議(ISSAC-90)への呼掛け(数式処理と数学研究への応用)
- 連立代数方程式について(数式処理と数学研究への応用)
- 多変数連立代数方程式の解法 (数式処理)
- 連立代数方程式のある種の解法について : 代数的・数値的算法による全解構成法(数式処理と数学研究への応用)
- Weierstrass Points on Curves of Fermat Type
- An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
- A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science)
- An analysis of the Bernstein's theorem for an automated prover (Algebra and Computer Science)