Hidetsune Kobayashi

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