Personal information

Emails & domains

Verified email domains

Websites & social links

https://tanaka.s-top.dev/

Keywords

Partial Differential Equations, Numerical Verification, Computer-Assisted Proofs, Verified Numerical Computation, Numerical Analysis

Countries

Japan

Activities

Collapse all

Employment (3)

Waseda University: Shinjuku, Tokyo, JP

2023-04-01 to present | Associate Professor (Global Center for Science and Engineering)
Employment
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2018-04-01 to 2023-03-31 | Assistant Professor (Institute for Mathematical Science, Waseda Research Institute for Science and Engineering)
Employment
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2017-04-01 to 2018-03-31 | Assistant Professor (Department of Applied Mathematics, Faculty of Science and Engineering)
Employment
Source: Self-asserted source
Kazuaki Tanaka

Education and qualifications (3)

Waseda University: Shinjuku, Tokyo, JP

2014-04-01 to 2017-03-31 | Doctor of engineering (Graduate School of Fundamental Science and Engineering)
Education
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2012-04-01 to 2014-03-31 | Master of Science (Graduate School of Fundamental Science and Engineering)
Education
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2008-04-01 to 2012-03-31 | Bachelor of Science (Department of Applied Mathematics, School of Fundamental Science and Engineering)
Education
Source: Self-asserted source
Kazuaki Tanaka

Professional activities (10)

The Mathematical Society of Japan: Tokyo, JP

Membership
Source: Self-asserted source
Kazuaki Tanaka

The Japan Society for Industrial and Applied Mathematics: Bunkyoku, Tokyo, JP

Membership
Source: Self-asserted source
Kazuaki Tanaka

Japanese Society for Engineering Education: Tokyo, JP

2023 | Engineering Education Award
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Japan Society for Simulation Technology: Tokyo, JP

2022 | Outstanding Presentation Award
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Funai Foundation For Information Technology: Tokyo, JP

2022 | Grantees FOS Recipients
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2020-03-27 (The 8th WASEDA e-Teaching Award (Grand Award))
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Waseda University: Shinjuku, Tokyo, JP

2016 (Isao Okawa Memorial Achievement Award)
Distinction
Source: Self-asserted source
Kazuaki Tanaka

The Japan Society for Industrial and Applied Mathematics: Bunkyoku, Tokyo, JP

2016 (Poster Award, Annual conference of the Japan Society for Industrial and Applied Mathematics (JSIAM), 2016.)
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Japan Society for Simulation Technology: Shinjuku, Tokyo, JP

2014 (Student Presentation Award, JSST Annual International Conference on Simulation Technology, 2014)
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Japan Society for Simulation Technology: Shinjuku, Tokyo, JP

2013 (Student Presentation Award, JSST Annual International Conference on Simulation Technology, 2013)
Distinction
Source: Self-asserted source
Kazuaki Tanaka

Funding (4)

Neural Network Numerical Theory with Guaranteed Accuracy

2021-04 to 2028-03 | Grant
Japan Science and Technology Agency (Tokyo, JP)
Source: Self-asserted source
Kazuaki Tanaka

精度保証付き数値計算による反応拡散モデルの解に対する符号変化構造解析

2019-04 to 2023-03 | Grant
Japan Society for the Promotion of Science (Chiyodaku, JP)
GRANT_NUMBER: 19K14601
Source: Self-asserted source
Kazuaki Tanaka

Verified numerical computation for solutions to partial differential equations describing reaction diffusion models

2017-09 to 2018-03 | Grant
Japan Society for the Promotion of Science (Chiyodaku, JP)
GRANT_NUMBER: 17H07188
Source: Self-asserted source
Kazuaki Tanaka

反応拡散モデルを記述する偏微分方程式の正値解に対する精度保証付き数値計算法と関連する数学上の問題に関する研究

2017-04 to 2020-03 | Contract
Mizuho Foundation for the Promotion of Sciences (Chuoku, JP)
URL: https://www.mizuhogroup.com/
Source: Self-asserted source
Kazuaki Tanaka

Works (17)

A posteriori verification of the positivity of solutions to elliptic boundary value problems

Partial Differential Equations and Applications
2022-02 | Journal article
DOI: 10.1007/s42985-021-00143-2
Contributors: Kazuaki Tanaka; Taisei Asai
Source: check_circle
Crossref

Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents

Numerical Functional Analysis and Optimization
2022-02-17 | Journal article | Author
DOI: 10.1080/01630563.2022.2029485
Part of ISSN: 0163-0563
Part of ISSN: 1532-2467
Contributors: Kazuaki Tanaka; Michael Plum; Kouta Sekine; Masahide Kashiwagi; Shin’ichi Oishi
Source: Self-asserted source
Kazuaki Tanaka
grade
Preferred source (of 2)‎

A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations

Japan Journal of Industrial and Applied Mathematics
2021-09-27 | Journal article
DOI: 10.1007/s13160-021-00456-0
Contributors: Kazuaki Tanaka
Source: check_circle
Crossref

Numerical verification for positive solutions of Allen–Cahn equation using sub- and super-solution method

Journal of Advanced Simulation in Science and Engineering
2020 | Journal article
DOI: 10.15748/jasse.7.136
Part of ISSN: 2188-5303
Source: Self-asserted source
Kazuaki Tanaka

Numerical verification method for positive solutions of elliptic problems

Journal of Computational and Applied Mathematics
2020-05 | Journal article
DOI: 10.1016/j.cam.2019.112647
Part of ISSN: 0377-0427
Source: Self-asserted source
Kazuaki Tanaka

Numerical verification for asymmetric solutions of the Hénon equation on the unit square

2020-02-06 | Preprint
ARXIV: arXiv:2002.02160v1
Source: Self-asserted source
Kazuaki Tanaka

Computer-assisted analysis of the sign-change structure for elliptic problems

2020-01-12 | Preprint
ARXIV: arXiv:2001.03854v1
Source: Self-asserted source
Kazuaki Tanaka

半線形楕円型境界値問題の精度保証付き数値計算結果の改善

日本応用数理学会論文誌
2019 | Journal article
DOI: 10.11540/jsiamt.29.1_17
Part of ISSN: 24240982
Source: Self-asserted source
Kazuaki Tanaka

Numerical verification method for positivity of solutions to elliptic equations

RIMS Kôkyûroku
2017 | Journal article
Source: Self-asserted source
Kazuaki Tanaka

ある無限次元固有値を用いた楕円型偏微分方程式の解の存在性に対する計算機援用証明法

RIMS Kôkyûroku
2017 | Journal article
Source: Self-asserted source
Kazuaki Tanaka

Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains

Journal of Inequalities and Applications
2017-12 | Journal article
DOI: 10.1186/s13660-017-1571-0
Part of ISSN: 1029-242X
Source: Self-asserted source
Kazuaki Tanaka

Numerical validation of blow-up solutions of ordinary differential equations

Journal of Computational and Applied Mathematics
2017-04 | Journal article
DOI: 10.1016/j.cam.2016.10.013
Part of ISSN: 0377-0427
Source: Self-asserted source
Kazuaki Tanaka

Sharp numerical inclusion of the best constant for embeddingH01(Ω)↪Lp(Ω)on bounded convex domain

Journal of Computational and Applied Mathematics
2017-02 | Journal article
DOI: 10.1016/j.cam.2016.07.021
Part of ISSN: 0377-0427
Source: Self-asserted source
Kazuaki Tanaka

Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative

2016-07-15 | Preprint
ARXIV: arXiv:1607.04619v1
Source: Self-asserted source
Kazuaki Tanaka

Numerical verification of positiveness for solutions to semilinear elliptic problems

JSIAM Letters
2015 | Journal article
DOI: 10.14495/jsiaml.7.73
Part of ISSN: 1883-0609
Part of ISSN: 1883-0617
Source: Self-asserted source
Kazuaki Tanaka

Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator

Journal of Inequalities and Applications
2015-12 | Journal article
DOI: 10.1186/s13660-015-0907-x
Part of ISSN: 1029-242X
Source: Self-asserted source
Kazuaki Tanaka

Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

Japan Journal of Industrial and Applied Mathematics
2014-11 | Journal article
DOI: 10.1007/s13160-014-0156-2
Part of ISSN: 0916-7005
Part of ISSN: 1868-937X
Source: Self-asserted source
Kazuaki Tanaka
How many people are using ORCID?