Hidetsune Kobayashi

Publication Activity (10 Years)

Years Active: 1988-2012
Publications (10 Years): 0

Top Topics

Multiresolution

Theoretical Basis

Top Venues

Formaliz. Math.

Publications

Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz
Valuation Theory. Part I. Formaliz. Math. 20 (1) (2012)
Hidetsune Kobayashi
Fundamental Properties of Valuation Theory and Hensel's Lemma. Arch. Formal Proofs 2007 (2007)
Tadashi Takahashi, Hidetsune Kobayashi
The Effect of the Theorem Prover in Cognitive Science. International Conference on Computational Science (1) (2006)
Hidetsune Kobayashi, L. Chen, Hirokazu Murao
Groups, Rings and Modules. Arch. Formal Proofs 2004 (2004)
Yuebin Bai, Hidetsune Kobayashi
New String Matching Technology for Network Security. AINA (2003)
Yuebin Bai, Hidetsune Kobayashi
Intrusion Detection System: Technology and Development. AINA (2003)
Hidetsune Kobayashi, Hideo Suzuki, Yoshihiko Sakai
Numerical calculation of the multiplicity of a solution to algebraic equations. Math. Comput. 67 (221) (1998)
Hirokazu Murao, Hidetsune Kobayashi, Tetsuro Fujise
On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -. J. Symb. Comput. 15 (2) (1993)
Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan
On Radical Zero-Dimensional Ideals. J. Symb. Comput. 8 (6) (1989)
Hidetsune Kobayashi, Tetsuro Fujise, Akio Furukawa
Solving Systems of Algebraic Equations by a General Elimination Method. J. Symb. Comput. 5 (3) (1988)
Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan
Solving Systems of Algebraic Equations. ISSAC (1988)