Nagasaka Lab.
Top > My Research > Contributions

Contributions

Project
Papers
  • K.Nagasaka. Parametric Greatest Common Divisors using Comprehensive Groebner Systems. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2017), 2017. 341--348.
  • K.Nagasaka. Approximate Polynomial GCD over Integers with Digits-wise Lattice. Communications of JSSAC. Vol. 2, 2016, Pages 15--32.
  • K.Nagasaka and T.Masui. Extended QRGCD Algorithm. Lecture Notes in Computer Science. Volume 8136. Computer Algebra in Scientific Computing: 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013. Proceedings. Springer. 2013, 257--272.
  • K.Nagasaka. Approximate Polynomial GCD over Integers. Journal of Symbolic Computation, Vol. 46(12), 2011, Pages 1306--1317.
  • K.Nagasaka. Computing a Structured Groebner Basis Approximately. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2011), 2011. 273--280.
  • K.Nagasaka. A Study on Groebner Basis with Inexact Input. Lecture Notes in Computer Science. Volume 5743. Computer Algebra in Scientific Computing: 11th International Workshop, CASC 2009, Kobe, Japan, September 13-17, 2009. Proceedings. Springer Berlin. 2009, 247--258.
  • K.Nagasaka. Ruppert matrix as subresultant mapping. Lecture Notes in Computer Science. Volume 4770. Computer Algebra in Scientific Computing: 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007. Proceedings. Springer Berlin. 2007, 316--327.
  • K.Nagasaka. Symbolic-Numeric Algebra for Polynomials. The Mathematica Journal, Vol. 10(3), 2007, 593--616.
  • K.Nagasaka. Using Coefficient-wise Tolerance in Symbolic-Numeric Algorithms for Polynomials. Sushikisyori, Vol. 12(3), 2006, 21--30.
  • K.Nagasaka. Towards More Accurate Separation Bounds of Empirical Polynomials II. Lecture Notes in Computer Science. Volume 3718. Computer Algebra in Scientific Computing: 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005. Proceedings. Springer-Verlag. 2005, 318--329.
  • K.Nagasaka. Towards More Accurate Separation Bounds of Empirical Polynomials. ACM SIGSAM Bulletin, Formally Reviewed Articles, Vol. 38(4), 2004, 119--129.
  • K.Nagasaka. SNAP Package for Mathematica and Its Applications. Proc. The Ninth Asian Technology Conference in Mathematics (ATCM2004), 2004. 308--316.
  • K.Nagasaka. Neighborhood Irreducibility Testing of Multivariate Polynomials. Proc. Computer Algebra in Scientific Computing (CASC2003), 2003. 283--292.
  • K.Nagasaka. Towards Certified Irreducibility Testing of Bivariate Approximate Polynomials. Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC2002), 2002. 192--199.
  • K.Nagasaka. Estimation of Cancellation Errors in Multivariate Hensel Construction with Floating-Point Numbers. Proc. The Sixth Asian Technology Conference in Mathematics (ATCM2001), 2001. 408--415.
Preprints
Talks
  • K.Nagasaka. Approximate GCD and Its Implementations. Milestones in Computer Algebra, MICA2016. 16-18th July 2016.
  • K.Nagasaka. A Symbolic-Numeric Approach to Groebner Basis with Inexact Input.Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Hybrid2011. 16-19th November 2011.
  • K.Nagasaka. An improvement in the lattice construction process of Approximate Polynomial GCD over Integers (Extended Abstract).Proc. Symbolic-Numeric Computation (SNC2011), 2011. 63--64.
  • K.Nagasaka. Homomorphic Encryption and Approximate GCD of Integers and Polynomials over Integers. RIMS Workshop on Developments in Computer Algebra Research. 7-9th July 2010. ACM Communications in Computer Algebra, Vol. 45, No. 3, Issue 177. 165.
  • K.Nagasaka. SNAP package for Mathematica. ISSAC 2007 Software Exhibitions. 29th July - 1st Aug. 2007.
  • Y. Kiriu, K. Nagasaka and T. Takahashi. Finding Mathematical Structures in Arts I. International Mathematica Symposium, IMS 2006. 19-23th June 2006.
  • K. Nagasaka. Mathematical Issues of Mathematica's BigFloat and Our Resolutions in SNAP Package. International Mathematica Symposium, IMS 2006. 19-23th June 2006.
  • K. Nagasaka. Irreducibility Radii. ARCC Workshop: The computational complexity of polynomial factorization. 15-19th May 2006.
  • K. Nagasaka. SNAP. International Mathematica Symposium, IMS 2005. 5-8th August 2005.
  • K. Nagasaka. An implementation issue on SNAP and significant digits. Conference on Applications of Computer Algebra, ACA 2005. 31th July-3th August 2005.
  • T. Takahashi, K. Nagasaka. On the Degeneracy Conditions of Singularities by Using CGBs. Algorithmic Algebra and Logic 2005 (Conference in Honor of the 60th Birthday of Volker Weispfenning). 2005. Proc. A3L (2005), 253--256.
Others (in Japanese) are only in available in Japanese page.
Posters
  • K.Nagasaka. Seeking Better Algorithms for Approximate GCD. ISSAC 2016 Poster presentations. 19th - 22th July. 2016. ACM Communications in Computer Algebra. Vol. 51(1). 2017. 15--17.
  • K.Nagasaka and T.Masui. Revisiting QRGCD and Comparison with ExQRGCD. ISSAC 2013 Poster presentations. 26th - 29th June. 2013. ACM Communications in Computer Algebra. Vol. 47(3). 2013. 88--89.
  • K.Nagasaka. Backward error analysis of approximate Groebner basis. ISSAC 2012 Poster presentations. 22th - 25th July. 2012. ACM Communications in Computer Algebra. Vol. 46(3). 2012. 116--117.
  • K.Nagasaka. Approximate Polynomial GCD over Integers. ISSAC 2008 Poster presentations. 20th - 23th July. 2008. ACM Communications in Computer Algebra. Vol. 42(3). 2008. 124--126. (Correction: Gelfond's bound should be Knuth's)
Developments and Administrations
Only available in Japanese page.
Productions
Only available in Japanese page.
Editorial and Organizing activities
  • 2016 RIMS Joint Research: Developments in Computer Algebra. Chair.
  • Journal of Symbolic Computation. Volume 75 (July 2016). Special issue on the conference ISSAC 2014. Co-Editor.
  • SNC 2014 (Symobolic-Numeric Computation, 2014). Program Committee.
  • ISSAC 2014 (International Symposium on Symbolic and Algebraic Computation, 2014). General Co-Chair and Local Chair.
  • ASCM 2012 (Asian Symposium on Computer Mathematics, 2012). Program Committee.
  • SNC 2011 (Symobolic-Numeric Computation, 2011). Program Committee.
  • CASC 2009 (Computer Algebra in Scientific Computing, 2009). Local Organizing Committee Chair.
  • ISSAC 2009 (International Symposium on Symbolic and Algebraic Computation, 2009). Program Committee.
  • ISSAC 2006 (International Symposium on Symbolic and Algebraic Computation, 2006). Poster and Software Demos Co-Chair.
  • ACM Communications in Computer Algebra. Associate Editor. 2016/08--.
  • Communications of JSSAC(Japan Society of Symbolic and Algebraic Computations). Editor. 2012/06--2014/05.
  • Bulletin of the Japan Society for Symbolic and Algebraic Computation. Editor. 2010--2012/04.
Educations and Positions
May., 2009 - present
Associate Professor (Position changes but English translation does't change) at Division of Human Environment, Graduate School of Human Development and Environment, Kobe University.
Apr., 2007 - Apr., 2009
Associate Professor (English translation changes) at Division of Human Environment, Graduate School of Human Development and Environment, Kobe University.
Jun., 2005
Encouragement Prize (Japan Society for Symbolic and Algebraic Computation)
Apr., 2004 - Mar., 2007
Assistant Professor at Division of Mathematics and Informatics, Department of Science of Human Environment, Faculty of Human Development, Kobe University.
Oct., 2002 - Apr., 2004
Research Associate at Media and Information Technology Center, Yamaguchi University.
Apr., 2002 - Sep., 2002
Temporary Researcher at Venture Business Laboratory, University of Tsukuba.
Mar., 2002
Ph.D. (Science): Doctoral Program in Mathematics, University of Tsukuba.
Jul., 1999 - Sep., 1999
Internship at Wolfram Research Inc.
Mar., 1998
M.S. (Science): Doctoral Program in Mathematics, University of Tsukuba.