佐藤 洋祐  Sato Yosuke

Lecture Notes in Computer Science

巻: 11989 ページ: 10-15

10.1007/978-3-030-43120-4_2

Mathematics in Computer Science

巻: 13 号: 1-2 ページ: 79-93

10.1007/s11786-018-0387-8

数式処理

巻: Vol.25 No.1 ページ: 87-89

Proceedings of the 23rd Asian Technology Conference in Mathematics

巻: 2018 ページ: 176-185

Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation

巻: 2018 ページ: 359-365

10.1145/3208976.3209004

数理解析研究所講究録

巻: 第1843巻 ページ: 28-37

COE Lecture Note

巻: Vol.49 ページ: 27-32

Proceedings of Fifth International Conference on Mathematical Aspects of Computer and Information Sciences

ページ: 21-25

COE Lecture Note

巻: 49 ページ: 27-32

Proceedings of the Fifth International Conference on MACIS2013

巻: 1 ページ: 21-25

数理解析研究所講究録

巻: 第1785巻 ページ: 51-56

京都大学数理解析研究所講究録

巻: 1785号 ページ: 51-56

Journal of Symbolic Computation

巻: Vol46/5 ページ: 622-632

120007130919

Journal of Symbolic Computation

巻: Vol 46/5 ページ: 622-632

数式処理Bulletin of JSSAC (2008) 15-2

ページ: 132-134

10023902629

Proceedings of MACIS 2006

ページ: 148-153

Proceedings of ISSAC 2006

ページ: 326-331

Proc. ISSAC2006(ACM Press)

ページ: 326-331

Proceedings of the Seventh Asian Symposium on Computer Mathematics

ページ: 145-148

数式処理 11・2

ページ: 43-45

40007193762

数式処理 12・2

ページ: 39-42

10016952949

Proc.ASCM 2005

ページ: 145-148

数式処理 11・2

ページ: 47-50

40007193763

Proceedings of Algorithmic Algebra and Logic 2005

ページ: 223-228