by Tamura, Nobuyuki, Nakamura, Yatsuka
Published in Formalized mathematics (2007)

by Pacharapokin, Chanapat, Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka
Published in Formalized mathematics (01.01.2009)

by Nakamura, Yatsuka, Korniłowicz, Artur, Oya, Nagato, Shidama, Yasunari
Published in Formalized mathematics (01.01.2009)

by NAKAMURA, YATSUKA
Year of Publication 29.03.2012

by Liu, Gang, Kitazawa, Mayumi, Eguchi, Masayoshi, Fuwa, Yasushi, Nakamura, Yatsuka
Published in Electronics & communications in Japan. Part 3, Fundamental electronic science (01.12.2002)

by Nakamura, Yatsuka
Published in Formalized mathematics (2006)

by Nakamura, Yatsuka, Ito, Hisashi
Published in Formalized mathematics (2008)

by Nakamura, Yatsuka
Published in Formalized mathematics (01.01.2006)

by Shimoi, Nobuhiro, Nakamura, Yatsuka
Published in Electronics & communications in Japan. Part 1, Communications (1996)

by Zhang, Bo, Nakamura, Yatsuka
Published in Formalized mathematics (01.01.2006)

by Fuwa, Yasushi, Nakamura, Yatsuka
Published in Electronics & communications in Japan. Part 1, Communications (01.06.1990)

by Zhang, Bo, Nakamura, Yatsuka
Published in Formalized mathematics (2007)

by Nakamura, Yatsuka, Nishiyama, Takaya, Fuwa, Yasushi
Published in Electronics & communications in Japan. Part 3, Fundamental electronic science (1993)

by Nakamura, Yatsuka, Oniumi, Kunio, Chang, Wenpai
Published in Formalized mathematics (2008)

by Nakamura, Yatsuka
Published in Proceedings of the Japan Academy. Series A. Mathematical sciences (01.01.1973)

by Nakamura, Yatsuka
Published in Proceedings of the Japan Academy. Series A. Mathematical sciences (01.01.1972)

by Nakamura, Yatsuka, Tamura, Nobuyuki, Chang, Wenpai
Published in Formalized mathematics (2006)

by Yamazaki, Hiroshi, Shidama, Yasunari, Nakamura, Yatsuka, Pacharapokin, Chanapat
Published in Formalized mathematics (01.01.2009)

by Zhang, Bo, Yamazaki, Hiroshi, Nakamura, Yatsuka
Published in Formalized mathematics (2006)

by Jitsukawa, Mitsuru, Kawamoto, Pauline, Shidama, Yasunari, Nakamura, Yatsuka
Published in Formalized mathematics (01.01.2009)