Hidetsune Kobayashi

According to our database, Hidetsune Kobayashi authored at least 11 papers between 1988 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Valuation Theory. Part I.

Grzegorz Bancerek, Hidetsune Kobayashi, Artur Kornilowicz

Formaliz. Math., 2012

2007

Fundamental Properties of Valuation Theory and Hensel's Lemma.

Hidetsune Kobayashi

Arch. Formal Proofs, 2007

2006

The Effect of the Theorem Prover in Cognitive Science.

Tadashi Takahashi, Hidetsune Kobayashi

Proceedings of the Computational Science, 2006

2004

Groups, Rings and Modules.

Hidetsune Kobayashi, L. Chen, Hirokazu Murao

Arch. Formal Proofs, 2004

2003

Intrusion Detection System: Technology and Development.

Yuebin Bai, Hidetsune Kobayashi

Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

New String Matching Technology for Network Security.

Yuebin Bai, Hidetsune Kobayashi

Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003

1998

Numerical calculation of the multiplicity of a solution to algebraic equations.

Hidetsune Kobayashi, Hideo Suzuki, Yoshihiko Sakai

Math. Comput., 1998

1993

On Factorizing the Symbolic U-Resultant - Application of the ddet Operator -.

Hirokazu Murao, Hidetsune Kobayashi, Tetsuro Fujise

J. Symb. Comput., 1993

1989

On Radical Zero-Dimensional Ideals.

Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan

J. Symb. Comput., 1989

1988

Solving Systems of Algebraic Equations by a General Elimination Method.

Hidetsune Kobayashi, Tetsuro Fujise, Akio Furukawa

J. Symb. Comput., 1988

Solving Systems of Algebraic Equations.

Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan

Proceedings of the Symbolic and Algebraic Computation, 1988