Concepedia

Yukihide Takayama

YT

Statistics

Publications

4

Citations

294

H-Index

4

Active since

1991

Affiliations

Ritsumeikan University(Current)

Yukihide Takayama is an author at Ritsumeikan University specializing in engineering, automated reasoning, and formal methods.

Top concepts

Publications per year

1991–2007

4

Publications

4

Resolutions by mapping cones

Jürgen Herzog, Yukihide Takayama · Homology Homotopy and Applications · 2002 · 182 citations · Full text

Combinatorial characterizations of generalized Cohen-Macaulay monomial ideals

Yukihide Takayama · arXiv (Cornell University) · 2005 · 81 citations · Full text

, , +5

Extraction of redundancy-free programs from constructive natural deduction proofs

Yukihide Takayama · Journal of Symbolic Computation · 1991 · 19 citations

, , +7

Stanley-Reisner ideals whose powers have finite length cohomologies

Shirô Gotô, Yukihide Takayama · Proceedings of the American Mathematical Society · 2007 · 12 citations · Full text

, , +4

1–4 of 4