Toshinori Oaku

Professor, Department of Mathematics, Tokyo Woman's Christian University

Japanese page

Research interests: Algebraic analysis

  1. Algebraic study of systems of linear partial differential equations
  2. Algorithms and programming for D-modules

My favorite free software for symbolic computation

Programs

Publications

  1. R. Bahloul, T. Oaku: Local Bernstein-Sato ideals: algorithm and examples. J. Symbolic Computation 45 (2010), 46-59.
  2. T. Oaku: Regular b-functions of D-modules. J. Pure and Applied Algebra 213 (2009), 1545-1557.
  3. M. Granger, T. Oaku, N. Takayama: Tangent cone algorithm for homogenized differential operators. J. Symbolic Computation 39 (2005), 417-431.
  4. M. Granger, T. Oaku: Minimal filtered free resolutions for analytic D-modules. J. Pure and Applied Algebra 191 (2004), 157-180.
  5. T.Oaku, Y.Shiraki, N.Takayama: Algebraic algorithms for $D$-modules and numerical analysis. Computer mathematics (Proceedings of ASCM 2003), 23--39, Lecture Notes Ser. Comput., 10, World Sci. Publ., River Edge, NJ, 2003 (PDF file, preliminary version)
  6. T. Oaku, N. Takayama: Minimal free resolutions of homogenized D-modules. J. Symbolic Computation 32 (2001), 575-595.
  7. T. Oaku, N. Takayama, H. Tsai: Polynomial and rational solutions of holonomic systems. J. Pure and Applied Algebra 164 (2001), 199-220.
  8. T. Oaku, N. Takayama: Algorithms for D-modules --restriction, tensor product, localization, and local cohomology groups. J. Pure and Applied Algebra 156 (2001), 267-308.
  9. T. Oaku, N. Takayama, U. Walther: A localization algorithm for D-modules. J. Symbolic Computation 29 (2000), 721-728.
  10. T. Oaku, N. Takayama: An algorithm for de Rham cohomology groups of the complement of an affine variety. J. Pure and Applied Algebra 139 (1999), 201-233.
  11. T. Oaku, S. Yamazaki: Higher-codimensional boundary value problems and F-mild microfunctions --Local and microlocal uniqueness--. Publication of the Research Institute for Mathematical Sciences, Kyoto Univ. 34 (1998), 383-437.
  12. T. Oaku: Algorithms for b-functions, restrictions, and algebraic local cohomology groups of D-modules. Advances in Applied Math. 19 (1997), 61-105
  13. T. Oaku: Algorithms for the b-function and D-modules associated with a polynomial. J. Pure Appl. Algebra 117 & 118 (1997), 495-518
  14. T. Oaku: An algorithm of computing b-functions. Duke Math. J. 87 (1997), 115-132
  15. T. Oaku: Groebner bases for D-modules on a non-singluar affine algebraic variety. Tohoku Math. J. 48 (1996), 575-600.
  16. T. Oaku: Algorithmic methods for Fuchsian systems of linear partial differential equations. J. Math. Soc. Japan 47 (1995), 297-328.
  17. T. Oaku, T. Shimoyama: A Groebner basis method for modules over rings of differential operators. J. Symbolic Computation 18 (1994), 223-248.
  18. T. Oaku: Computation of the characteristic variety and the singular locus of a system of differential equations with polynomial coefficients. Japan J. Indust. Appl. Math. 11 (1994), 485-497.
  19. T. Oaku: Boundary value problem for Fuchsian partial differential equations and reflection of singularities. Banach Center Publications 27 (1992), 337-348.
  20. T. Oaku: Some remarks on local solvability of Fuchsian partial differential equations for hyperfunctions. Yokohama Math. J. 37 (1989), 139-143.
  21. T. Oaku: Local solvability of Fuchsian elliptic equations for hyperfunctions. Yokohama Math. J. 36 (1988), 109-114.
  22. T. Oaku: Higher codimensional boundary value problem and F-mild hyperfunctions. In: Algebraic Analysis, eds M. Kashiwara, T. Kawai, Academic Press, 1988, pp. 571-586.
  23. T. Oaku: Boundary value problems for systems of linear partial differential equations and propagation of micro-analyticity. J. Fac. Sci. Univ. Tokyo 33 (1986), 175-232.
  24. T. Oaku: Microlocal boundary value problem for Fuchsian operators, I. -F-mild microfunctions and uniqueness theorem. J. Fac. Sci. Univ. Tokyo 32 (1985), 287-317.
  25. T. Oaku: F-mild hyperfunctions and Fuchsian partial differential equations. Advanced Studies in Pure Mathematics 4 (1984), 223-242.
  26. T. Oaku: Analytic hypo-ellipticity and propagation of regularity for a system of microdifferential equations with non-involutory characteristics. Math. Ann. 269 (1984), 145-168.
  27. T. Oaku: A canonical form of a system of microdifferential equations with non-involutory characteristics and branching of singularities. Inventiones Math. 65 (1982), 491-525.
  28. T. Oaku: Micro-local Cauchy problems and local boundary value problems. Proc. Japan Acad. 55 (1979), 136-140.