All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2000 Other
All Journal Article Presentation Book
Mathematics in Computer Science
Volume: 12,1 Pages: 1-32
10.1007/s11786-017-0325-1
Proceedings of ISSAC 2018
Volume: -
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation
Volume: - Pages: 31-38
10.1145/3208976.3209014
CRYPTREC Report 2016
Volume: - Pages: 71-100
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (ISSAC 2016)
Volume: 2016 Pages: 381-388
10.1145/2930889.2930905
International Journal of Mathematics.
Volume: 26
10.1142/s0129167x15410025
Lecture Notes in Computer Science
Volume: Volume 8592
10.1007/978-3-662-44199-2_64
数理解析研究所講究録
Volume: 1843 Pages: 38-50
Volume: 1843
Harmony of Groebner Bases and the Modern Industrial Society
Pages: 213-227
Harmony of Groebner Bases and the Modern Industrial Society (T. Hibi, Ed.)
Volume: 1 Pages: 213-227
Advances in Applied Mathematics (2011), to appear. 03
J. Symb. Comp
Volume: 6 Pages: 1158-1172
10.1016/j.jsc.2011.06.001
in Proc.ICMS 2010 LNCS 6327
Pages: 233-244
Journal of Symbolic Computation vol.45, No.4
Pages: 462-480
Journal of Symbolic Computation 45
LNCS 5743 Springer
Pages: 259-268
Software for algebraic geometry, IMA Volume 148
Pages: 47-58
http://www.math.kobe-u.ac.jp/Asir/asir.html
IMA Volume 148 on "Software for algebraic Geometry", Springer
Proceedings of ISSAC 2007, ACM Press
Pages: 243-250
Proceedings of ISSAC2007
Proc. ISSAC 2007, ACM Press
Proc. MACIS2006
Pages: 33-44
Proc. ICMS2006, LNCS4151, Springer
Pages: 99-106
Proceedings of ICMS 2006, LNCS 4151
Pages: 99-109
Proceedings of ISSAC2006
Pages: 262-268
Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation (ISSAC 2006) (to appear)
Proceedings of ICMS2006 LNCS4151
Proceedings of ISSAC 2006, ACM Press
Proceedings of ICMS 2006, LNCS, Springer 4151
http://www.openxm.org
Quantum Information Processing (To appear)
数式処理 11・3
Pages: 21-28
40007176794
Quantum Information Processing (to appear)
Quantum Information Processing 4
Pages: 65-85
Journal of Japan Society of Symbolic and Algebraic Computation (to appear)
京都大学数理解析研究所講究録 (出版準備中)
日本応用数理学会論文誌 15
Pages: 307-322
数式処理 11
http://www.openxm.org/
Computer Algebra-Design of Algorithms, Implementations and Applications, 2004 (Kyoto University) (in press)
Quantum Information Processing 4(2)
J.JSSAC. Vol.11, No.3-4
数式処理 Vol.11
Journal of Symbolic Computation 38
Pages: 1227-1246
Koukyuroku 1395 "Computer Algebra-Design of Algorithms, Implementations and Applications, 2003"(Kyoto University)
Pages: 267-272
京都大学数理解析研究所講究録 1395
Journal of Symbolic Computation Vol.38
Pages: 1227-1247
Journal of Symbolic Computation 38・4
J.Symbolic Computation vol.38
Algebra, Geometry and Software
Pages: 147-162
introductory textbook for Grobner basis calculation(University of Tokyo Press)
京都大学数理解析研究所講究録 1335
Pages: 135-140
Proc.ISSAC2002 (ACM press)
Pages: 200-206
Proc.ISSAC2002, ACM press
Koukyuroku 1335 "Computer Algebra-Algorithms, Implementations and Applications, 2002"(Kyoto University)
Algebra, Geometry and Software(M.Joswig and N.Takayama(eds.))(Springer)
Proceedings of ICMS2002
Pages: 147-157
Proceedings of ISSAC2002
Proc.ICMS2002 (World Scientific)
Proc.ISSAC 2002(ACM Press)
Proc.ICMS 2002(World Scientific)
Proc.ICMS2002, World Scientific
