On the Degeneracy Conditions of Singularities by Using Comprehensive Gröbner Bases. - Tadashi Takahashi; Kosaku Nagasaka (Algorithmic Algebra and Logic, 2005)

The Effect of the Theorem Prover in Cognitive Science. - Tadashi Takahashi; Hidetsune Kobayashi (International Conference on Computational Science (1), 2006)

Groebner Basis for Polynomials with Parametric Exponents. - Tadashi Takahashi (ICCSA Workshops, 2008)

On the Degeneracy Conditions for Tri-modular Simple K3 Singularities. - Tadashi Takahashi (ICCSA Workshops, 2009)

A Note on the Application of Elimination Ideal. - Tadashi Takahashi (ICCSA Workshops, 2011)

On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics Education. - Kiyoshi Kitahara; Tadashi Takahashi; Masataka Kaneko (ICMS, 2014)