Publications

Papers

ーSubmitted
ーPapers in English
  1. C.-M. Chen, T. Ishige, S. P. Kim, A. Takayasu, and C.-Y. Wei:
    "Monodromy Approach to Pair Production of Charged Black Holes and Electric Fields", Chin. J. Phys., Vol. 86, pp. 255-268, December 2023. (DOI:10.1016/j.cjph.2023.10.007, arXiv:2210.14792 [hep-th])
  2. A. Imakura, K. Morikuni, and A. Takayasu:
    "Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems", J. Comput. Appl. Math., Vol. 424, 114994, 18 pages, May 2023 (available online Dec. 2022). (DOI:10.1016/j.cam.2022.114994, arXiv:2110.01822)
  3. J.-P. Lessard, K. Matsue, and A. Takayasu:
    "Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature", J. Nonlinear Sci., Vol. 33, 46, 76 pages, March 2023 (available online March 2023). (DOI:10.1007/s00332-023-09900-6, arXiv:2103.12390)
    Code associated to the paper is available here.
  4. A. Imakura, K. Morikuni, and A. Takayasu:
    "Complex moment-based methods for differential eigenvalue problems", Numer. Algor., Vol. 92, pp. 693-721, January 2023 (available online Dec. 2022). (DOI:10.1007/s11075-022-01456-y, arXiv:2205.00971)
  5. A. Takayasu, J.-P. Lessard, J. Jaquette, and H. Okamoto:
    "Rigorous numerics for nonlinear heat equations in the complex plane of time", Numer. Math., Vol. 151, pp. 693-750, July 2022 (available online May 2022). (DOI:10.1007/s00211-022-01291-2, arXiv:1910.12472)
    Code associated to the paper is available here.
  6. J. Jaquette, J.-P. Lessard, and A. Takayasu:
    "Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity", Commun. Nonlinear Sci. Numer. Simul., Vol. 107, 106188, 14 pages, April 2022 (available online Dec. 2021). (DOI:10.1016/j.cnsns.2021.106188, arXiv:2109.00159)
    Code associated to the paper is available here.
  7. J. Jaquette, J.-P. Lessard, and A. Takayasu:
    "Global dynamics in nonconservative nonlinear Schrödinger equations", Advances in Mathematics, Vol. 398, 108234, 70 pages, March 2022 (available online Feb. 2022). (DOI:10.1016/j.aim.2022.108234, arXiv:2012.09734)
    Code associated to the paper is available here.
  8. K. Matsue and A. Takayasu:
    "Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity", J. Comput. Appl. Math., Vol. 374, 112607, 11 pages, August 2020 (available online Jan. 2020). (DOI:10.1016/j.cam.2019.112607, arXiv:1902.01842)
    Code associated to the paper is available here.
  9. K. Matsue and A. Takayasu:
    "Numerical validation of blow-up solutions with quasi-homogeneous compactifications", Numer. Math., Vol. 145, pp. 605-654, July 2020 (available online Jun. 2020). (DOI:10.1007/s00211-020-01125-z, arXiv:1707.05936)
    Code associated to the paper is available here.
  10. A. Takayasu:
    "A computer-assisted proof for nonlinear heat equations in the complex plane of time", RIMS Kôkyûroku Bessatsu, B82, pp. 47-66, June 2020.
  11. A. Imakura, K. Morikuni, and A. Takayasu:
    "Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems", J. Comput. Appl. Math., Vol. 369, 112543, 11 pages, May 2020 (available online Oct. 2019). (DOI:10.1016/j.cam.2019.112543, arXiv:1904.06277)
  12. A. Takayasu, S. Yoon, and Y. Endo:
    "Rigorous numerical computations for 1D advection equations with variable coefficients", Japan J. Indust. Appl. Math., Vol. 36, No. 2, pp. 357-384, July 2019 (available online Feb. 2019). (DOI:10.1007/s13160-019-00345-7, arXiv:1803.02960)
    Code associated to the paper is available here.
  13. A. Takayasu, M. Mizuguchi, T. Kubo, and S. Oishi:
    "Accurate method of verified computing for solutions of semilinear heat equations", Reliable computing, Vol. 25, pp. 74-99, July 2017. (PDF, arXiv:1611.10243)
    Code associated to the paper is available here.
  14. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "Numerical verification for existence of a global-in-time solution to semilinear parabolic equations", J. Comput. Appl. Math., Vol. 315, pp. 1-16, May 2017 (available online Nov. 2016). (DOI:10.1016/j.cam.2016.10.024, PDF)
  15. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "A method of verified computations for solutions to semilinear parabolic equations using semigroup theory", SIAM J. Numer. Anal., Vol. 55, No. 2, pp. 980-1001, April 2017. (DOI:10.1137/141001664, PDF)
  16. A. Takayasu, K. Matsue, T. Sasaki, K. Tanaka, M. Mizuguchi, and S. Oishi:
    "Numerical validation of blow-up solutions of ordinary differential equations", J. Comput. Appl. Math., Vol. 314, pp. 10-29, April 2017 (available online Oct. 2016). (DOI:10.1016/j.cam.2016.10.013, arXiv:1606.03039)
  17. M. Mizuguchi, A. Takayasu, T. Kubo, and S. Oishi:
    "On the embedding constant of the Sobolev type inequality for fractional derivatives", NOLTA, IEICE, Vol. 7, No. 3, pp. 386-394, July 2016. (DOI:10.1587/nolta.7.386, PDF)
  18. N. Hoffman, K. Ichihara, M. Kashiwagi, H. Masai, S. Oishi, and A. Takayasu:
    "Verified computations for hyperbolic 3-manifolds", Exp. Math., Vol. 25, Issue 1, pp. 66-78, 2016 (available online Oct. 2015). (DOI:10.1080/10586458.2015.1029599, arXiv:1310.3410)
    Code associated to the paper is available here.
  19. K. Tanaka, A. Takayasu, X. Liu, S. Oishi:
    "Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation", Jpn. J. Ind. Appl. Math., Vol. 31, Issue 3, pp. 665-679, November 2014. (DOI:10.1007/s13160-014-0156-2)
  20. A. Takayasu, X. Liu, S. Oishi:
    "Remarks on computable a priori error estimates for finite element solutions of elliptic problems", NOLTA, IEICE, Vol. 5, No. 1, pp. 53-63, January 2014. (DOI:10.1587/nolta.5.53)
  21. K. Sekine, A. Takayasu, S. Oishi:
    "An algorithm of identifying parameters satisfying a sufficient condition of Plum's Newton-Kantorovich like existence theorem for nonlinear operator equations", NOLTA, IEICE, Vol. 5, No. 1, pp. 64-79, January 2014. (DOI:10.1587/nolta.5.64)
  22. A. Takayasu, X. Liu, S. Oishi:
    "Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains", NOLTA, IEICE, Vol. 4, No. 1, pp. 34-61, January 2013. (DOI:10.1587/nolta.4.34)
  23. A. Takayasu, S. Oishi:
    "A method of computer assisted proof for nonlinear two-point boundary value problems using higher order finite elements", NOLTA, IEICE, Vol. 2, No. 1, pp. 74-89, January 2011. (DOI:10.1587/nolta.2.74)
  24. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical existence theorem for solutions of two-point boundary value problems of nonlinear differential equations", NOLTA, IEICE, Vol. 1, No. 1, pp. 105-118, October 2010. (DOI:10.1587/nolta.1.105)
Google Scholar Citations

Conference Papers

  1. S. Seto, A. Takayasu:
    "Parallel implementation of a verified contour integral based eigensolver and its performance evaluation using the Julia language", to appear in IUTAM symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM2023),
    2024.
  2. S. Kondo, A. Takayasu:
    "Rigorous numerical computations with the Chebyshev interpolation using the Julia language", to appear in IUTAM symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM2023),
    2024.
  3. A. Takayasu, M. Mizuguchi, T. Kubo, S. Oishi:
    "Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator", in Mathematical Aspects of Computer and Information Sciences,
    Volume 9582 of the series Lecture Notes in Computer Science, pp. 218-223, Springer International Publishing, Switzerland, 2016.
  4. A. Takayasu, S. Oishi:
    "A verified continuation algorithm for solution curve of nonlinear elliptic equations",
    Proceedings of 2013 International Symposium on Nonlinear Theory and its Applications (NOLTA 2013), US, 2013, pp.441-444.
  5. A. Takayasu, S. Oishi:
    "A computer-assisted proof method of the invertibility to elliptic operators",
    Proceedings of 2012 International Symposium on Nonlinear Theory and its Applications (NOLTA 2012), Spain, 2012, pp.816-819.
  6. A. Takayasu, X. Liu, S. Oishi:
    "Computer assisted proofs for solutions to nonlinear elliptic partial differential equations on arbitrary polygonal domain",
    Proceedings of 2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011), Japan, 2011, pp.90-93.
  7. A. Takayasu, S. Oishi, T. Kubo:
    "Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations",
    Proceedings of 2010 International Symposium on Nonlinear Theory and its Applications (NOLTA 2010), Poland, 2010, pp.135-138.
  8. A. Takayasu, S. Oishi, T. Kubo:
    "A priori inverse operator estimation for guaranteed error estimate",
    Proceedings of 4th Workshop on Reliable Engineering Computing (REC2010) "Robust Design - Coping with Hazards, Risk and Uncertainty", Singapore, 2010, pp.649-664.
  9. A. Takayasu, S. Oishi, T. Kubo:
    "Guaranteed error estimate for solutions to two-point boundary value problem",
    Proceedings of 2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), Japan, 2009, pp.214-217.
  10. A. Takayasu, S. Oishi, T. Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM",
    Proceedings of ASIA SIMULATION CONFERENCE 2009 (JSST 2009), Japan, 2009, Paper ID: 163 (8 pages).
  11. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method",
    Proceedings of the 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Korea, 2009, pp.165-168.

Technical Reports and Others (in English)

  1. A. Takayasu, X. Liu, S. Oishi:
    "A residual bound evaluation of operator equations with Raviart-Thomas finite element",
    RIMS Kokyuroku, 1791 (2012), pp.206-215.
  2. A. Takayasu, S. Oishi:
    "A refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems",
    RIMS Kokyuroku, 1733 (2011), pp.118-126.
  3. A. Takayasu, S. Oishi, T. Kubo:
    "Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems",
    RIMS Kokyuroku, 1719 (2010), pp.48-60.

Talks (Research Report, English talks)

     2023

  1. Jonathan Jaquette, Jean-Philippe Lessard, Akitoshi Takayasu:
    "Global Dynamics and Blowup in Some Quadratic PDEs",
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO), Tokyo, Japan (2023/8/24).
  2. Akitoshi Takayasu, Toshimasa Ishige:
    "Rigorous numerics for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces",
    10th International Congress on Industrial and Applied Mathematics (ICIAM 2023 TOKYO), Tokyo, Japan (2023/8/21).
  3. Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard:
    "Rigorous forward numerical integration of general evolutionary partial differential equations based on semigroup theory",
    IUTAM Symposium on Nonlinear dynamics for design of mechanical systems across different length/time scales (IUTAM 2023), Tsukuba, Japan (2023/8/2).
  4. Akitoshi Takayasu, Gabriel Duchesne, Jean-Philippe Lessard:
    "Recent Results of Rigorous Numerical Integration for Higher Spatial Dimensional PDEs",
    SIAM Conference on Applications of Dynamical Systems (DS23), DoubleTree by Hilton Hotel Portland, Portland, US (2023/5/18).

    5.  2022

  5. Akitoshi Takayasu:
    "A general approach for rigorously integrating PDEs using semigroup theory",
    CRM Applied Mathematics Seminars, McGill University, Canada (2022/9/27).
  6. Akitoshi Takayasu, Jean-Philippe Lessard:
    "Rigorous integrator for higher spatial dimensional PDEs",
    SIAM Conference on Nonlinear Waves and Coherent Structures (NWCS22), University of Bremen, Bremen, Germany (2022/9/1).
  7. Akitoshi Takayasu:
    "Chebyshev interpolation for rigorous integrator of differential equations",
    International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022), online (2022/3/14).

    8.  2021

  8. Akitoshi Takayasu, Jean-Philippe Lessard:
    "A rigorous forward integration method for time-dependent PDEs",
    The 19th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2020), Virtual Conference (2021/9/13).
  9. Akitoshi Takayasu, Jean-Philippe Lessard:
    "Rigorous integrator for dissipative PDEs using the Chebyshev-Fourier spectral method",
    SIAM Conference on Applications of Dynamical Systems (DS21), Virtual Conference (2021/5/27).
  10. Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu:
    "Complex moment-based methods for differential eigenvalue problems",
    SIAM Conference on Applied Linear Algebra (LA21), Virtual Conference (2021/5/18).
  11. Akitoshi Takayasu:
    "Global existence and heteloclinics/homoclinics to a quadratic nonlinear Schrödinger equation",
    Czech-Japanese Seminar in Applied Mathematics, online (2021/1/6).

    12.  2020

  12. Akitoshi Takayasu:
    "Computer-assisted proofs for finding the monodromy of hypergeometric differential equations",
    16th Seminar Series of CRM CAMP in Nonlinear Analysis, online (2020/10/6). (Lecture Video)
  13. Akira Imakura, Keiichi Morikuni, Akitoshi Takayasu:
    "Verifying eigenvalues of generalized Hermitian eigenproblems using contour integrals",
    Second Workshop on Numerical Algebra, Algorithms and Analysis, online (2020/3/16).

    14.  2019

  14. Akitoshi Takayasu:
    "Computer-assisted proofs for a nonlinear heat equation in the complex plane of time",
    CRM Applied Mathematics Seminars, McGill University, Canada (2019/9/16).
  15. Akitoshi Takayasu:
    "Rigorous numerics for a singular solution of advection equations with variable coefficients",
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019), Valencia, Spain (2019/7/16).
  16. Akitoshi Takayasu:
    "Numerical validation of blow-up solutions of ODEs",
    The 9th International Congress on Industrial and Applied Mathematics (ICIAM 2019), Valencia, Spain (2019/7/15).
  17. Akitoshi Takayasu:
    "Rigorous numerics for nonlinear heat equations in the complex plane of time",
    Equadiff 2019, Leiden, Netherlands (2019/7/8).
  18. Akitoshi Takayasu:
    "Global existence of a solution for the nonlinear heat equation in the complex plane of time",
    RIMS Symposia (open) "Regularity and Asymptotic Analysis for Critical Phenomena of Partial Differential Equations", RIMS, Kyoto University (2019/5/29).
  19. Akitoshi Takayasu:
    "Numerical validation of periodic orbit to delay differential equations via Newton-Kantorovich argument",
    The 1st Hungary-Japan Workshop on Delay Equations and Mathematical Epidemiology, Tokyo, Japan (2019/4/25).
  20. Akitoshi Takayasu:
    "Rigorous integrator for nonlinear heat equations in the complex plane of time using semigroup theory",
    Workshop: Rigorous Computational Dynamics in Infinite Dimensions, Montreal, Canada (2019/4/4).
  21. Akitoshi Takayasu:
    "Rigorous spectral methods for initial value problems of ordinary differential equations",
    Numerical Verification (NIVEA) 2019, Hokkaido, Japan (2019/2/27).

    22.  2018

  22. Akitoshi Takayasu, Motohiro Sobajima:
    "Generation of $C_0$ semigroup on sequence spaces for rigorous spectral methods in PDEs",
    the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018), Tokyo, Japan (2018/9/13).
  23. Akitoshi Takayasu, Akira Imakura, Keiichi Morikuni:
    "Verified computing for partial eigenvalues using a contour integral-type eigensolver",
    the 18th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2018), Tokyo, Japan (2018/9/12).

    24.  2017

  24. Akitoshi Takayasu:
    "Verified computations for solutions to 1-dimensional advection equations with variable coefficients",
    Dagstuhl Seminar 17481, Wadern, Germany (2017/11/27).
  25. Akitoshi Takayasu:
    "Rigorous numerical computations for 1-dimensional advection equations with variable coefficients",
    Workshop for young scholars Control and inverse problems on waves, oscillations and flows - Mathematical analysis and computational methods -, Kyoto, Japan (2017/8/21).
  26. Akitoshi Takayasu, Kaname Matsue:
    "Numerical validation of blow-up solutions via quasi-parabolic compactifications",
    The International Workshop on Numerical Verification and its Applications 2017 (INVA 2017), Okinawa, Japan (2017/3/15).

    27.  2016

  27. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Computable norm bounds of the evolution operator using spectral properties",
    The 35th JSST Annual Conference International Conference on Simulation Technology (JSST2016), Kyoto, Japan (2016/10/28).
  28. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "On verification methods for parabolic partial differential equations using the evolution operator",
    the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Uppsala, Sweden (2016/9/28).
  29. Akitoshi Takayasu, Kaname Matsue, Takiko Sasaki, Kazuaki Tanaka, Makoto Mizuguchi, Shin'ichi Oishi:
    "Verified numerical computations for blow-up solutions of ODEs",
    the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016), Uppsala, Sweden (2016/9/26).
  30. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Computable estimates of the evolution operator based on the operator theory",
    Czech-Japanese-Polish Seminar in Applied Mathematics 2016 (CJPS 2016), Krakow, Polland (2016/9/8).
  31. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Verification algorithm for enclosing a mild solution of semilinear heat equations",
    The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Niigata, Japan (2016/8/2).
  32. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Concatenation scheme for verified inclusion of solutions to semilinear heat equations",
    The fifth Asian conference on Nonlinear Analysis and Optimization (NAO-Asia 2016), Niigata, Japan (2016/8/2).
  33. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Verified Computations for Solutions to Nonlinear Heat Equations Based on Fractional Powers of a Positive Operator and the Evolution Operator",
    5th European Seminar on Computing (ESCO 2016), Pilsen, Czech Republic (2016/6/9).

    34.  2015

  34. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Verified computations for solutions to semilinear parabolic equations using the evolution operator",
    Sixth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS2015), Berlin, Germany (2015/11/12).
  35. Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
    "Numerical existence theorem for solutions of semilinear parabolic equations using the evolution operator",
    The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Toyama, Japan (2015/10/12).
  36. Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Verified computations for solutions of semilinear heat equations using an analytic semigroup generated by a self-adjoint operator",
    The 34th JSST Annual Conference International Conference on Simulation Technology (JSST2015), Toyama, Japan (2015/10/12).

    37.  2014

  37. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "Numerical verification of solutions for the Fujita type parabolic equations",
    The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology (AsiaSim & JSST 2014), Kitakyushu, Japan (2014/10/30).
  38. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A numerical verification method using $H^1_sigma$-norm for an elliptic system of FitzHugh-Nagumo type",
    The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology (AsiaSim & JSST 2014), Kitakyushu, Japan (2014/10/30).
  39. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A sharper error estimate of verified computations for nonlinear heat equations",
    16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Würzburg, Germany (2014/9/23).
  40. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear parabolic equations",
    16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN2014), Würzburg, Germany (2014/9/23).
  41. Akitoshi Takayasu:
    "An approach for verified computations of semilinear parabolic equations using the semigroup theory",
    ICIAM 2014 Scientific Workshop, Ohio, US (2014/5/15). With M. Mizuguchi, T. Kubo, and S. Oishi.
  42. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified numerical classification of non-trivial solutions to elliptic equations",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Kyoto, Japan (2014/3/20).
  43. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear homogeneous heat equations, Part I: Enclosure of semidiscrete approximate solution for space variable",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/16).
  44. Makoto Mizuguchi, Akitoshi Takayasu, Takayuki Kubo, Shin'ichi Oishi:
    "A method of verified computations for nonlinear homogeneous heat equations, Part II: Semigroup approach to construct an exact solution for time variable",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/16).
  45. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer assisted proof for existence of solutions to a system of elliptic partial differential equations",
    The International Workshop on Numerical Verification and its Applications 2014 (INVA 2014), Tokyo, Japan (2014/3/15).

    46.  2013

  46. Shin'ichi Oishi (substitute speaker: Akitoshi Takayasu):
    "Numerical Verification of Hyperbolicity for 3-Manifolds",
    The Second International Conference on Engineering and Computational Mathematics(ECM2013), The Hong Kong Polytechnic University, Hong Kong (2013/12/18).
  47. Makoto Mizuguchi, Takayuki Kubo, Akitoshi Takayasu, Shin'ichi Oishi:
    "A priori error estimate of inhomogeneous heat equations using rational approximation of semigroups",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  48. Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "Estimation of an embedding constant on Lipschitz domains using extension operators",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  49. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A verified computation of steady-state solutions to Reaction-Diffusion equations",
    International Conference on Simulation Technology (JSST 2013), Meiji University, Tokyo, Japan (2013/9/13).
  50. Akitoshi Takayasu, Shin'ichi Oishi:
    "A verified continuation algorithm for solution curve of nonlinear elliptic equations",
    2013 International Symposium on Nonlinear Theory and its Applications (NOLTA 2013), Santa Fe, US (2013/9/11).
  51. Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified norm estimation for the inverse of linear elliptic operators and its application",
    The 9th East Asia SIAM Conference & The 2nd Conference on Industrial and Applied Mathematics (EASIAM 2013-CIAM 2013), West Java, Indonesia (2013/6/19).

    52.  2012

  52. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified computations for elliptic boundary value problems on arbitrary polygonal domains",
    The Tenth Asian Symposium on Computer Mathematics (ASCM 2012), Beijing, China (2012/10/28).
  53. Akitoshi Takayasu, Shin'ichi Oishi:
    "A computer-assisted proof method of the invertibility to elliptic operators",
    2012 International Symposium on Nonlinear Theory and its Applications (NOLTA 2012), Palma Majorca, Spain (2012/10/26).
  54. Kouta Sekine, Akitoshi Takayasu, Shin'ichi Oishi:
    "A numerical verification method for solutions to systems of elliptic partial differential equations",
    15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).
  55. Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer-assisted error analysis for second-order elliptic equations in divergence form",
    15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012), Novosibirsk, Russia (2012/9/24).
  56. Akitoshi Takayasu, Shin'ichi Oishi:
    "Computer-assisted existence proof of solutions to elliptic equations in divergence form",
    The 8th East Asia SIAM Conference (EASIAM 2012), Taipei, Taiwan (2012/6/27).
  57. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Verified numerical computations for solutions to semilinear elliptic boundary value problems on arbitrary polygonal domains",
    Fifth Conference on Numerical Analysis and Applications (NAA'12), Lozenetz, Bulgaria (2012/6/18).

    58.  2011

  58. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Computer Assisted Proofs for Solutions to Nonlinear Elliptic Partial Differential Equations on Arbitrary Polygonal Domain",
    2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011), Hyogo, Japan (2011/9/5).
  59. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "A Method of computer assisted proof for Semilinear elliptic equations on Arbitrary polygonal domain",
    The 7th International Congress on Industrial and Applied Mathematics (ICIAM 2011), Vancouver, Canada (2011/7/20).
  60. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain",
    The 7th East Asia SIAM Conference & RIMS Workshop on Methods in Industrial and Applied Mathematics (EASIAM 2011), Kitakyushu, Japan (2011/6/29).
  61. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi:
    "A computer assisted proof method for semilinear elliptic equations on arbitrary polygonal domain",
    Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics (EPSRC Gregynog Workshop 2011), Gregynog Hall, UK (2011/6/21).

    62.  2010

  62. Akitoshi Takayasu, Xuefeng Liu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical existence proofs and Accurate error bounds of solutions to Semilinear elliptic equations with higher order finite elements",
    14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS de Lyon, France (2010/9/30).
  63. Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo:
    "Numerical Verification of Existence for Solutions to Dirichlet Boundary Value Problems of Semilinear Elliptic Equations",
    14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2010), ENS de Lyon, France (2010/9/30).
  64. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Computer assisted proofs of solutions to Nonlinear elliptic partial differential equations",
    2010 International Symposium on Nonlinear Theory and its Applications (NOLTA 2010), Krakow, Poland (2010/8/6).
  65. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical Existence Theorem for Semilinear Elliptic Boundary Value Problems II",
    2010 International Workshop on Numerical Verification and its Applications (INVA2010), Hachijo-jima, Japan (2010/3/11).
  66. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "A priori inverse operator estimation for guaranteed error estimate",
    4th Workshop on Reliable Engineering Computing (REC2010) "Robust Design - Coping with Hazards, Risk and Uncertainty", Hotel Furama Riverfront, Singapore (2010/3/5).

    67.  2009

  67. Shin'ichi Oishi, Akitoshi Takayasu, Takayuki Kubo:
    "Numerical Verification Method for Nonlinear Differential Equations",
    The Joint Conference of ASCM2009 and MACIS2009, JAL Resort Sea Hawk Hotel, Fukuoka, Japan (2009/12/15).
  68. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to two-point boundary value problem",
    2009 International Symposium on Nonlinear Theory and its Applications (NOLTA 2009), Hokkaido, Japan (2009/10/19).
  69. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems with FEM",
    ASIA SIMULATION CONFERENCE 2009 (JSST 2009), Ritsumeikan University, Shiga, Japan (2009/10/8).
  70. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Numerical verification for solutions to nonlinear two-point boundary value problems with finite element method",
    The 24th International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC 2009), Jeju Island, Korea (2009/7/8).
  71. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to linear two-point boundary value problems",
    The 2nd International Conference on Mathematical Modelling and Computation and The 5th East Asia SIAM Conference (EASIAM), Bandar Seri Begawan, Brunei Darussalam (2009/6/8).
  72. Akitoshi Takayasu, Shin'ichi Oishi, Takayuki Kubo:
    "Guaranteed error estimate for solutions to nonlinear two-point boundary value problem",
    2009 International Workshop on Numerical Verification and its Applications (INVA2009), Okinawa, Japan (2009/3/26).

Poster Presentation


Awards


Doctor Thesis

Studies on verified computations for solutions to elliptic boundary value problems (PDF)


Master Thesis

Verified Numerical Computations for Boundary Value Problems of Differential Equations


Updated: