Get started
Author

Hidetsune Kobayashi

Observed names: Hidetune Kobayashi, Kobayashi, Hidetsune, 小林, 英恒, 英恒 小林
OpenAlex ID: A5113489277
Solving systems of algebraic equations
1989 · Hidetsune Kobayashi, Shuichi Moritsugu, et al. · Lecture notes in computer science · 22
Solving systems of algebraic equations by a general elimination method
1988 · Hidetsune Kobayashi, Tetsuro Fujise, et al. · Journal of Symbolic Computation · 21
High Performance Pattern Matching Algorithm for Network Security
2006 · Yang Wang, Hidetsune Kobayashi · 14
Numerical calculation of the multiplicity of a solution to algebraic equations
1998 · Hidetsune Kobayashi, Hideo Suzuki, et al. · Mathematics of Computation · 14
PDF
On radical zero-dimensional ideals
1989 · Hidetsune Kobayashi, Shuichi Moritsugu, et al. · Journal of Symbolic Computation · 12
An Improved Technology for Content Matching Intrusion Detection System
2006 · Yang Wang, Hidetsune Kobayashi · International Conference on Software, Telecommunications and Computer Networks (SoftCOM) · 7
The Effect of the Theorem Prover in Cognitive Science
2006 · Tadashi Takahashi, Hidetsune Kobayashi · Lecture notes in computer science · 2
PDF
Groups, Rings and Modules.
2004 · Hidetsune Kobayashi, L. Chen, et al. · Arch. Formal Proofs · 2
On Factorizing the Symbolic U-resultant — Application of the ddet operator —
1993 · Hirokazu Murao, Hidetsune Kobayashi, et al. · Journal of Symbolic Computation · 2
Grobner Basis of a Module over K[x$_1$,...,x$_n$] and Polynomial Solutions of a System of Linear Equations
1986 · 昭夫 古川, 建昭 佐々木, et al. · Institutional Repositories DataBase (IRDB) · 1
PDF
Generation of Propositions in Isabelle/HOL (Algebraic System, Logic, Language and Related Areas in Computer Science)
2019 · Hidetsune Kobayashi, Yoko Ono · Institutional Repositories DataBase (IRDB)
PDF
The proof structure of a proof assistant Isabelle/HOL (Algebraic system, Logic, Language and Computer Science)
2016 · Hidetsune Kobayashi, Yoko Ono · Kyoto University Research Information Repository (Kyoto University)
PDF
An automated reasoning system with a preparatory inference (New contact points of algebraic systems, logics, languages, and computer sciences)
2015 · 英恒 小林, 陽子 小野 · Kyoto University Research Information Repository (Kyoto University)
PDF
A characteristic function to select rules for an automated prover (Logics, Algebras and Languages in Computer Science)
2014 · 英恒 小林, 陽子 小野 · Institutional Repositories DataBase (IRDB)
PDF
A Rule Selection Method for Automated Reasoning (Algebraic Systems and Theoretical Computer Science : RIMS研究集会報告集)
2012 · Hidetune Kobayashi, Yoko Ono · Institutional Repositories DataBase (IRDB)
PDF
Valuation Theory. Part I
2012 · Grzegorz Bancerek, Hidetsune Kobayashi, et al. · Formalized Mathematics
PDF
An automated reasoning system based on isabelle/HOL (Algebras, Languages, Algorithms and Computations)
2011 · Hidetsune Kobayashi, Yoko Ono · Institutional Repositories DataBase (IRDB)
PDF
D-8-11 Isabelleでの所属関係の自動証明の実現について(D-8. 人工知能と知識処理,一般セッション)
2008 · 俊一 栗野, 英恒 小林 · 電子情報通信学会総合大会講演論文集
A-6-4 半自動証明系Isabelleにおける証明過程の再利用について(A-6.情報理論,一般講演)
2007 · 俊一 栗野, 秀男 鈴木, et al. · 電子情報通信学会ソサイエティ大会講演論文集
Fundamental Properties of Valuation Theory and Hensel's Lemma.
2007 · Hidetsune Kobayashi · Arch. Formal Proofs
Presentation Hensel's Lemma in Isabelle/HOL (Computer Albebra-Design of Algorithms, Implementations and Applications RIMS研究集会報告集)
2006 · Hidetsune Kobayashi, Hideo Suzuki · Kyoto University Research Information Repository (Kyoto University)
PDF
F_018 Constructing and Using a Web Service to Find Theorems
2006 · 秀男 鈴木, 英恒 小林 · 情報科学技術フォーラム一般講演論文集
F-028 The Implementation of a Proof Search System for Isabelle
2005 · 秀男 鈴木, 英恒 小林 · 情報科学技術フォーラム一般講演論文集
Formalization of the valuation theory (Algebra, Languages and Computation)
2005 · Hidetsune Kobayashi, Hideo Suzuki, et al. · Kyoto University Research Information Repository (Kyoto University)
PDF
A-014 グリッドコンピューティングを用いた連立代数方程式の解法 : 根の振る舞いの解析に向けて(a.モデル・アルゴリズム・プログラミング)
2004 · 秀男 鈴木, 英恒 小林, et al. · 情報科学技術フォーラム一般講演論文集
Works count: 51
Citation count: 97
H-index: 6
I10-index: 5
Year
Topic
Type