All 2015 2014 2013 2012 2011 2010 Other
All Journal Article Presentation
京都大学数理解析研究所講究録
Volume: 1955 Pages: 91-101
ADG 2014, Lecture Notes in Artificial Intelligence
Volume: 9201 Pages: 94-107
10.1007/978-3-319-21362-0_6
Volume: 1907 Pages: 174-181
Mathematical Software - ICMS 2014, Lecture Notes in Computer Science
Volume: 8592 Pages: 214-221
10.1007/978-3-662-44199-2_34
ADG 2012, Lecture Notes in Artificial Intelligence
Volume: 7993 Pages: 48-58
Volume: 1843 Pages: 155-162
Volume: 1815 Pages: 124-132
Proc. of ADG 2012
Volume: - Pages: 173-183
Proc. of ADG2012
Pages: 173-183
Volume: No.1815 Pages: 124-132
Volume: 印刷中
Bulletin of JSSAC
Volume: Vol.18, No.1 Pages: 3-9
10030345027
Bulletin of JSSAC(日本数式処理学会誌)
Volume: 18 Pages: 3-9
ACM Communications in Computer Algebra
Volume: 44 Pages: 127-128
Volume: Vol.44, No.3&4 Pages: 127-128