liu xuefeng 劉雪峰

… Alternative Names

LIU Xuefeng 劉雪峰

Less

Researcher Number	50571220
Other IDs
Affiliation (Current)	2025: 東京女子大学, 現代教養学部, 教授
Affiliation (based on the past Project Information) *help	2022 – 2024: 東京女子大学, 現代教養学部, 教授 2014 – 2023: 新潟大学, 自然科学系, 准教授 2013: 早稲田大学, 理工学術院, 講師 2012: 早稲田大学, 理工学術院, 助教 2011: 早稲田大学, 理工学術院, 研究員
Review Section/Research Field	Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Foundations of mathematics/Applied mathematics / General mathematics (including Probability theory/Statistical mathematics) Except Principal Investigator Basic Section 12040:Applied mathematics and statistics-related / Medium-sized Section 60:Information science, computer engineering, and related fields / Foundations of mathematics/Applied mathematics / Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related / Basic Section 12030:Basic mathematics-related / Accounting
Keywords	Principal Investigator 精度保証付き数値計算 / 固有値問題 / 有限要素法 / Hypercircle法 / 厳密計算ライブラリ / 計算機援用証明 / ナビエ・ストークス方程式 / 非線形偏微分方程式 / 非自己共役作用素 / Divergence-free条件 … More / 固有値問題の厳密評価 / ナビエストークス方程式 / 微分作用素の固有値問題 / 重調和微分作用素 / 誤差評価 / 事前誤差評価 / 固有値評価 / 並列計算 / 鞍点型の固有値問題 / 計算機援用証明法 / ナビエ・ストークス方程式の定常解 / ストークス作用素 / Homotopy法 / 重調和作用素 / Stokes方程式 / Hypercirle法 / Hypercircle / 非圧縮条件 / Lehmann-Goerischの定理 / 自己共役微分作用素 / 微分作用素 / 誤差定数 / Fujino－Morley補間作用素 / Stokes方程式の事前誤差評価 / 重調和微分作用素の固有値問題 / Steklov固有値問題 / Steklov微分作用素 / Stokes微分作用素 / 誤差評価理論 / 高精度な固有値評価 / 非線形問題の解の検証 / 高精度な誤差評価 / 非適合有限要素法 / Lehmann-Goerisch の定理 / 固有値の下界評価 / Hypercircle equation / 楕円型微分作用素 … More Except Principal Investigator 補間誤差解析 / 有限要素法 / 精度保証付き数値計算 / データ駆動モデリング / 動的システム / 制御理論 / 信号処理 / 誤差評価 / 数値計算法 / ファジィ集合 / スカラー化関数 / 集合値写像 / ベクトル最適化 / 集合最適化 / 有向グラフ構造 / 次元削減 / 接空間学習 / 制度保証付き数値計算 / 計算機援用証明 / Navier-Stokes方程式 / 逆作用素ノルム / 不連続ガレルキン法 / 非線形偏微分方程式 / 数値計算アルゴリズム / 集合関数 / 漸近関数 / 集合の優劣 / 半連続性 / ソフトウェア学 / 経営学 / 会計学 / ドリルダウン / ボトルネック分析 / スループット会計 / 時間管理 / ITツールの開発 / 時間原価管理 / 業務進捗度管理 / リードタイム管理 / 段階的なIT構築 / ITソリューションの開発 / 中小企業 / 業務進捗管理 / ビジネス・プロセス管理 / TD-ABC / BPM / 補間誤差定数 / 固有値問題 / 補間誤差評価 / 半順序空間 / 凸解析学 / 集合値最適化 / ミニマックス不等式 / 非線形スカラー化 / 集合値計画 / 二者択一の定理 / 劣線形スカラー化 Less

補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平
- Principal Investigator
  
  小林健太
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
  Basic Section 12030:Basic mathematics-related
  Sections That Are Subject to Joint Review: Basic Section12030:Basic mathematics-related , Basic Section12040:Applied mathematics and statistics-related
- Research Institution
  Hitotsubashi University
Challenges in data-driven integrated water level control of river channel networks: dynamics modeling in directed graph structures
- Principal Investigator
  
  村松正吾
- Project Period (FY)
  2024 – 2026
- Research Category
  
  Grant-in-Aid for Challenging Research (Pioneering)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Niigata University
Locally Structured Unitary Networks and Tangent Space Learning for Dynamic Systems Modeling
- Principal Investigator
  
  村松正吾
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  Niigata University
Computer-assisted solution verification for the Navier-Stokes equation with large Reynolds numbersPrincipal Investigator
- Principal Investigator
  
  Xuefeng Liu
- Project Period (FY)
  2021 – 2023
- Research Category
  
  Fund for the Promotion of Joint International Research (Fostering Joint International Research (A))
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Tokyo Woman's Christian University
  Niigata University
Set Optimization for sets with inferior-to-superior relationship and its applications to numerical analysis
- Principal Investigator
  
  田中環
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Niigata University
Computer-assisted solution verification for 3D flows with large Reynolds numbersPrincipal Investigator
- Principal Investigator
  
  劉雪峰
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Tokyo Woman's Christian University
  Niigata University
新たな段階に入った有限要素法基盤の精度保証付き数値計算の進展
- Principal Investigator
  
  小林健太
- Project Period (FY)
  2020 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Hitotsubashi University
Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domainPrincipal Investigator
- Principal Investigator
  
  LIU Xuefeng
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 12040:Applied mathematics and statistics-related
- Research Institution
  Niigata University
Action Research of the Disseminated Business Process Management Model Suitable for Small and Medium-sized Enterprises
- Principal Investigator
  
  Lee Gunyung
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Accounting
- Research Institution
  Niigata University
Advanced research on the Numerical verification Method based on the Finite Element Method
- Principal Investigator
  
  KOBAYASHI Kenta
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Hitotsubashi University
High-precision eigenvalue estimation for the Biharmonic differential operatorPrincipal Investigator
- Principal Investigator
  
  LIU Xuefeng
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Niigata University
Study on Set-Valued Inequalities based on Set-Valued Analysis and Convex Analysis and its Applications to Optimization Problems
- Principal Investigator
  
  TANAKA Tamaki
- Project Period (FY)
  2014 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Foundations of mathematics/Applied mathematics
- Research Institution
  Niigata University
Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problemsPrincipal Investigator
- Principal Investigator
  
  LIU Xuefeng
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Waseda University

[Book] 精度保証付き数値計算の基礎2018
- Author(s)
  大石進一, 荻田武史, 柏木雅英, 劉雪峰他
- Total Pages
  311
- Publisher
  コロナ社
- ISBN
  9784339028874
- Data Source
  KAKENHI-PROJECT-26800090
[Book] 精度保証付き数値計算の基礎2018
- Author(s)
  大石進一, 荻田武史, 柏木雅英, 劉雪峰他
- Total Pages
  311
- Publisher
  コロナ社
- Data Source
  KAKENHI-PROJECT-18K03411
[Journal Article] Projection-based guaranteed L2 error bounds for finite element approximations of Laplace eigenfunctions2023
- Author(s)
  Liu Xuefeng、Vejchodsky Tomas
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 429 Pages: 115164-115164
- DOI
  10.1016/j.cam.2023.115164
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810
[Journal Article] Shape optimization for the Laplacian eigenvalue over triangles and its application to interpolation error analysis2023
- Author(s)
  Endo Ryoki、Liu Xuefeng
- Journal Title
  
  Journal of Differential Equations
  
  Volume: 376 Pages: 750-772
- DOI
  10.1016/j.jde.2023.09.016
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810
[Journal Article] Guaranteed Lower Eigenvalue Bounds for Steklov Operators Using Conforming Finite Element Methods2023
- Author(s)
  Nakano Taiga、Li Qin、Yue Meiling、Liu Xuefeng
- Journal Title
  
  Computational Methods in Applied Mathematics
  
  Volume: - Issue: 2 Pages: 495-510
- DOI
  10.1515/cmam-2022-0218
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Guaranteed local error estimation for finite element solutions of boundary value problems2023
- Author(s)
  Nakano Taiga、Liu Xuefeng
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 425 Pages: 115061-115061
- DOI
  10.1016/j.cam.2023.115061
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810
[Journal Article] Robust Algebraic Curve Intersections with Tolerance Control2022
- Author(s)
  Shao Wenbing、Chen Falai、Liu Xuefeng
- Journal Title
  
  Computer-Aided Design
  
  Volume: 147 Pages: 103236-103236
- DOI
  10.1016/j.cad.2022.103236
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Fully computable a posteriori error bounds for eigenfunctions2022
- Author(s)
  Liu Xuefeng、Vejchodsky Tomas
- Journal Title
  
  Numerische Mathematik
  
  Volume: 152 Issue: 1 Pages: 183-221
- DOI
  10.1007/s00211-022-01304-0
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Error-constant estimation under the maximum norm for linear Lagrange interpolation2022
- Author(s)
  Galindo Shirley Mae、Ike Koichiro、Liu Xuefeng
- Journal Title
  
  Journal of Inequalities and Applications
  
  Volume: 2022 Issue: 1
- DOI
  10.1186/s13660-022-02841-w
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-23K20810
[Journal Article] Computer-assisted proof for the stationary solution existence of the Navier?Stokes equation over 3D domains2022
- Author(s)
  Liu Xuefeng、Nakao Mitsuhiro T.、Oishi Shin’ichi
- Journal Title
  
  Communications in Nonlinear Science and Numerical Simulation
  
  Volume: 108 Pages: 106223-106223
- DOI
  10.1016/j.cnsns.2021.106223
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20KK0306, KAKENHI-PROJECT-23K20810, KAKENHI-PROJECT-20H01820
[Journal Article] Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations2021
- Author(s)
  Liu Xuefeng, Nakao Mitsuhiro T., You Chun’guang, Oishi Shin’ichi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 未定 Issue: 2 Pages: 545-559
- DOI
  10.1007/s13160-020-00449-5
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-21K03378, KAKENHI-PROJECT-20H01820, KAKENHI-PROJECT-18K03434
[Journal Article] Explicit eigenvalue bounds of differential operators defined by symmetric positive semi-definite bilinear forms2020
- Author(s)
  Liu Xuefeng
- Journal Title
  
  Journal of Computational and Applied Mathematics
  
  Volume: 371 Pages: 112666-112666
- DOI
  10.1016/j.cam.2019.112666
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03411
[Journal Article] Optimal estimation for the Fujino?Morley interpolation error constants2019
- Author(s)
  Liao Shih-Kang、Shu Yu-Chen、Liu Xuefeng
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 36 Issue: 2 Pages: 521-542
- DOI
  10.1007/s13160-019-00351-9
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Journal Article] Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem2019
- Author(s)
  You Chun'guang、Xie Hehu、Liu Xuefeng
- Journal Title
  
  SIAM Journal on Numerical Analysis
  
  Volume: 57 Issue: 3 Pages: 1395-1410
- DOI
  10.1137/18m1189592
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-16H03950
[Journal Article] Explicit <i>a posteriori</i> Local Error Estimation for Finite Element Solutions2019
- Author(s)
  中野泰河、劉雪峰
- Journal Title
  
  Transactions of the Japan Society for Industrial and Applied Mathematics
  
  Volume: 29 Issue: 4 Pages: 362-382
- DOI
  10.11540/jsiamt.29.4_362
- NAID
  130007773219
- ISSN
  2424-0982
- Language
  Japanese
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03411
[Journal Article] Explicit finite element error estimates for nonhomogeneous Neumann problems2018
- Author(s)
  Li Qin、Liu Xuefeng
- Journal Title
  
  Applications of Mathematics
  
  Volume: 63 Issue: 3 Pages: 367-379
- DOI
  10.21136/am.2018.0095-18
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-26800090, KAKENHI-PROJECT-16H03950
[Journal Article] Explicit bound for quadratic Lagrange interpolation constant on triangular finite elements2018
- Author(s)
  Liu Xuefeng、You Chun’guang
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume: 319 Pages: 693-701
- DOI
  10.1016/j.amc.2017.08.020
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] Explicit estimation of error constants appearing in non-conforming linear triangular finite element method2018
- Author(s)
  Liu Xuefeng、Kikuchi Fumio
- Journal Title
  
  Applications of Mathematics
  
  Volume: 63 Issue: 4 Pages: 381-397
- DOI
  10.21136/am.2018.0097-18
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18K03411, KAKENHI-PROJECT-26800090, KAKENHI-PROJECT-16H03950
[Journal Article] Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements2018
- Author(s)
  Xie Manting、Xie Hehu、Liu Xuefeng
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 35 Issue: 1 Pages: 335-354
- DOI
  10.1007/s13160-017-0291-7
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] Paper review assignment problem under the minimum cost flow network model2016
- Author(s)
  Xuefeng LIU, Yuan LIU and Zhouwang Yang
- Journal Title
  
  Proceedings of the Twenty-Eighth RAMP Symposium
  
  Volume: - Pages: 67-76
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] Global Stiffness Structural Optimization for 3D Printing under Unknown Loads2016
- Author(s)
  Tuanfeng Y. Wang, Yuan Liu, Xuefeng Liu, Zhouwang Yang, Dongming Yan, and Ligang Liu
- Journal Title
  
  Journal of Computer Graphics Techniques (JCGT)
  
  Volume: 5(3) Pages: 18-38
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] A framework of verified eigenvalue bounds for self-adjoint differential operators2015
- Author(s)
  Xuefeng LIU
- Journal Title
  
  Applied Mathematics and Computation
  
  Volume: 267 Pages: 341-355
- DOI
  10.1016/j.amc.2015.03.048
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] High precision eigenvalue bound for the Laplacian with singularity2014
- Author(s)
  Xuefeng Liu, Tomoaki Okayama and Shin'ichi Oishi
- Journal Title
  
  Proceeding of the 2012 Asian Symposium on Computer Mathematics (ASCM 2012)
  
  Volume: (未発行)(accepted)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740092
[Journal Article] Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation2014
- Author(s)
  Kazuaki Tanaka, Akitoshi Takayasu, Xuefeng Liu & Shin’ichi Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 31 Issue: 3 Pages: 665-679
- DOI
  10.1007/s13160-014-0156-2
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26800090
[Journal Article] Remarks on computable a priori error estimates for finite element solutions of elliptic problems2014
- Author(s)
  Akitoshi Takayasu, Xuefeng Liu and Shin'ichi Oishi
- Journal Title
  
  NOLTA
  
  Volume: 5 Issue: 1 Pages: 53-63
- DOI
  10.1587/nolta.5.53
- NAID
  130003386653
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740092
[Journal Article] Verified eigenvalue evaluation for Laplacian over polygonal domains of arbitrary shape2013
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Journal Title
  
  SIAM J. Numer. Anal
  
  Volume: 51(3) Issue: 3 Pages: 1634-1654
- DOI
  10.1137/120878446
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740092
[Journal Article] Guaranteed high-precision estimation for P0 interpolation constants on triangular finite elements2013
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Journal Title
  
  Japan Journal of Industrial and Applied Mathematics
  
  Volume: 30(3) Issue: 3 Pages: 635-652
- DOI
  10.1007/s13160-013-0120-6
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23740092
[Journal Article] Verified computations to semilinear elliptic boundary value problems on arbitrary polygonal domains2013
- Author(s)
  A. Takayasu, X. Liu, S. Oishi
- Journal Title
  
  NOLTA
  
  Volume: 4 Issue: 1 Pages: 34-61
- DOI
  10.1587/nolta.4.34
- NAID
  130003375411
- ISSN
  2185-4106
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-11J07191, KAKENHI-PROJECT-23740092
[Journal Article] A residual bound evaluation of operator equations with Raviart-Thomas finite element2012
- Author(s)
  Akitoshi Takayasu, Xuefeng Liu and Shin'ichi Oishi
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1791 Pages: 206-215
- Data Source
  KAKENHI-PROJECT-23740092
[Journal Article] Verified eigenvalue evaluation for Laplace operator on arbitrary polygonal domain2011
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Journal Title
  
  京都大学数理解析研究所講究録
  
  Volume: 1733 Pages: 31-39
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 固有値が重複する領域の近傍における固有関数の安定計算法2024
- Author(s)
  遠藤凌輝, 劉　雪峰
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 指定された固有値の上下界評価の並列計算法2024
- Author(s)
  佃佳祐, 劉　雪峰
- Organizer
  日本応用数理学会第9回学生研究発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 浮動小数点数で表現される領域の境界上の節点の計算法2023
- Author(s)
  尾崎克久,劉　雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] クラスターを成すLaplace作用素の固有値に対する形状微分の厳密計算法2023
- Author(s)
  遠藤凌輝, 劉　雪峰
- Organizer
  日本数学会2023年度秋季総合分科会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Laplace作用素の非斉次Neumann境界値問題の有限要素近似に対する定量的誤差評価2023
- Author(s)
  中野泰河,劉　雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Verified computation for shape derivative of the Laplacian eigenvalues2023
- Author(s)
  Ryoki Endo, Xuefeng Liu
- Organizer
  ICIAM 2023 (Tokyo)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 微分作用素の固有値の上下界評価：Kato's boundsへの再検討2023
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Guaranteed local error estimation for the finite element solution2023
- Author(s)
  Xuefeng LIU
- Organizer
  FEM Circus
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 微分作用素の固有値の上下界評価：Kato's boundsへの再検討2023
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] High-precision eigenvalue estimation using Lehmann-Goerisch's method2023
- Author(s)
  Xuefeng Liu
- Organizer
  Numerical methods for spectral problems: theory and applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] High-precision eigenvalue estimation using Lehmann-Goerisch's method2023
- Author(s)
  Xuefeng LIU
- Organizer
  Numerical methods for spectral problems: theory and applications
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 「富岳」における行列固有値の厳密計算法の並列化2023
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Guaranteed estimation of Hadamard shape derivative for clustered eigenvalues2023
- Author(s)
  Ryoki Endo, Xuefeng Liu
- Organizer
  Numerical Analysis Symposium 2023
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] ラプラシアンの重複固有値に関する形状微分公式と多角形領域の幾何2023
- Author(s)
  遠藤凌輝,劉　雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] High-precision guaranteed eigenvalue bounds using higher order finite elements and graded meshes2023
- Author(s)
  Xuefeng LIU
- Organizer
  ICIAM 2023 TOKYO
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] ラプラシアンの重複固有値に関する形状微分公式と多角形領域の幾何2023
- Author(s)
  遠藤凌輝, 劉　雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Guaranteed local error estimation for the finite element solution2023
- Author(s)
  Xuefeng LIU
- Organizer
  FEM Circus (USA)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 「富岳」における行列固有値の厳密計算法の並列化2023
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第20回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] High-precision guaranteed eigenvalue bounds using higher order finite elements and graded meshes2023
- Author(s)
  Xuefeng Liu
- Organizer
  ICIAM 2023 (Tokyo)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 指定された固有値の上下界評価の並列計算法2023
- Author(s)
  佃佳祐, 劉　雪峰
- Organizer
  日本応用数理学会第8回学生研究発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 微分作用素の固有値の上下界評価：Kato's boundsへの再検討2023
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会第19回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Verified computation for shape derivative of the Laplacian eigenvalues2023
- Author(s)
  Ryoki Endo, Xuefeng Liu
- Organizer
  Numerical methods for spectral problems: theory and applications 2023
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 多角形領域におけるDirichlet固有値問題の形状最適化問題2022
- Author(s)
  遠藤凌輝,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Hypercircle法を用いた有限要素法解の局所誤差評価の改善2022
- Author(s)
  中野泰河,劉　雪峰
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Rigorous eigenvalue estimation for the Stokes differential operators2022
- Author(s)
  Xuefeng LIU
- Organizer
  9th International Conference on Computational Methods in Applied Mathematics (CMAM)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 多角形領域におけるDirichlet固有値問題の形状最適化問題2022
- Author(s)
  遠藤凌輝, 劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Minimization of Eigenvalues of the Laplacian Over Polygonal Domains2022
- Author(s)
  Xuefeng LIU
- Organizer
  ESCO2022
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 多角形領域におけるDirichlet固有値問題の形状最適化問題2022
- Author(s)
  遠藤凌輝,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Rigorous eigenvalue estimation of the Stokes differential operators and computer-assisted proof of the solution to the Naiver-Stokes equation2022
- Author(s)
  Xuefeng LIU
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 三角形領域におけるラプラス作用素の固有値問題と形状微分公式の厳密評価2022
- Author(s)
  遠藤凌輝,劉　雪峰
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Poisson方程式の有限要素解に対する非一様メッシュによる局所誤差の収束挙動について2022
- Author(s)
  中野泰河,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Rigorous eigenfunction computation and its application to computer-assisted proof2022
- Author(s)
  Xuefeng LIU
- Organizer
  Berlin Workshop on Numerical Analysis 2022
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 微分作用素の固有値と固有関数の厳密評価法の進展2022
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会年会2022年度年会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Maximum Norm Error Estimation for Boundary Value Problems2022
- Author(s)
  ガリンドシェリーメイ,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous eigenvalue estimation for the stokes differential operators2022
- Author(s)
  Xuefeng LIU
- Organizer
  Computational Methods in Applied Mathematics (CMAM 2022)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Maximum Norm Error Estimation for Boundary Value Problems2022
- Author(s)
  ガリンドシェリーメイ,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Poisson方程式の有限要素解に対する非一様メッシュによる局所誤差の収束挙動について2022
- Author(s)
  中野泰河, 劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 微分作用素の固有値と固有関数の厳密評価法の進展2022
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会2022年度年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Rigorous eigenvalue estimation of the Stokes differential operators and computer-assisted proof of the solution to the Naiver-Stokes equation2022
- Author(s)
  Xuefeng LIU
- Organizer
  International Workshop on Reliable Computing and Computer-Assisted Proofs (ReCAP 2022)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Poisson方程式の有限要素解に対する非一様メッシュによる局所誤差の収束挙動について2022
- Author(s)
  中野泰河,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Maximum Norm Error Estimation for Boundary Value Problems2022
- Author(s)
  ガリンドシェリーメイ,劉雪峰
- Organizer
  日本応用数理学会第18回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Rigorous eigenvalue estimation to the Stokes equation and its application to solution verification for Navier-Stokes equation2021
- Author(s)
  Xuefeng LIU
- Organizer
  International Conference on Eigenvalue Problems and Related Topics (Beijing)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 微分作用素の固有関数の誤差評価と形状最適化への応用2021
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2021年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous eigenvalue estimation to the Stokes equation and its application to solution verification for Navier-Stokes equation2021
- Author(s)
  Xuefeng LIU
- Organizer
  International Conference on Eigenvalue Problems and Related Topics (Beijing)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 3次元領域におけるNavier-Stokes方程式の解の検証ライブラリの開発2021
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2021年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Verified computation for optimization problems with maximum norm constraint condition2021
- Author(s)
  ガリンドシェリーメイ,劉　雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] Verified computation for optimization problems with maximum norm constraint condition2021
- Author(s)
  ガリンドシェリーメイ,劉　雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Helmholtz方程式の非斉次Neumann境界値問題に対する定量的な事後誤差評価2021
- Author(s)
  中野泰河, 劉雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] 板の振動に関わる重調和作用素の厳密な固有値評価2021
- Author(s)
  劉　雪峰, 和田薫
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-20KK0306
[Presentation] Verified computation for optimization problems with maximum norm constraint condition2021
- Author(s)
  ガリンドシェリーメイ,劉　雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 板の振動に関わる重調和作用素の厳密な固有値評価2021
- Author(s)
  劉　雪峰,和田薫
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous eigenvalue estimation to the Stokes equation and its application to solution verification for Navier-Stokes equation2021
- Author(s)
  Xuefeng LIU
- Organizer
  International Conference on Eigenvalue Problems and Related Topics (Beijing)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Helmholtz方程式の非斉次Neumann境界値問題に対する定量的な事後誤差評価2021
- Author(s)
  中野泰河,劉雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Helmholtz方程式の非斉次Neumann境界値問題に対する定量的な事後誤差評価2021
- Author(s)
  中野泰河,劉雪峰
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 板の振動に関わる重調和作用素の厳密な固有値評価2021
- Author(s)
  劉　雪峰,和田薫
- Organizer
  応用数理学会年会
- Data Source
  KAKENHI-PROJECT-23K20810
[Presentation] 境界値問題の近似解の各点誤差評価2020
- Author(s)
  劉雪峰
- Organizer
  応用数理学会2020年度年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous error estimation for FEM solution to Stokes equation over 3D domain2020
- Author(s)
  Xuefeng LIU
- Organizer
  Mathematics and Systems Science, CAS
- Invited
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Diracのデルタ関数を含む3次元境界値問題に対する有限要素解析2020
- Author(s)
  中野泰河, 劉　雪峰
- Organizer
  日本応用数理学会 2020年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Navier-Stokes方程式の定常解の検証における若干の問題2020
- Author(s)
  劉雪峰
- Organizer
  応用数理学会2020年度年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Solution verification for the stationary Navier-Stokes equation over bounded nonconvex 3D domain2020
- Author(s)
  Xuefeng LIU
- Organizer
  CRM CAMP in Nonlinear Analysis, Centre de Recherches Mathematiques, Canada
- Invited
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 曲線の位置関係判定に関わる厳密計算法2020
- Author(s)
  邵文炳, 劉雪峰, 陳発来
- Organizer
  日本応用数理学会 2020年研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Explicit local error estimation for FEM solutions2019
- Author(s)
  Nakano Taiga, Xuefeng LIU
- Organizer
  EASIAM2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 微分作用素の固有ベクトルの厳密評価について2019
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第15 回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Explicit lower eigenvalue bounds of differential operators2019
- Author(s)
  Xuefeng LIU
- Organizer
  Workshop of Numerical methods for spectral problems: theory and applications
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous numerical computation and computer-assisted proof for the Navier--Stokes equation2019
- Author(s)
  Xuefeng LIU
- Organizer
  The Third Conference on Scientific and Engineering Computing for Young Chinese Scientists
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 計算機援用証明によるラプラス作用素の固有値の最小化問題を考える2019
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第15 回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] アソン方程式の解の関数値に関する事後誤差評価2019
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会年会2019年年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Rigorous eigenvalue estimation and its application in computer-assisted solution proof for the Navier-Stokes equation2019
- Author(s)
  Xuefeng LIU
- Organizer
  MAFELAP
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 計算機援用証明によるラプラス作用素の固有値の最小化問題を考える2019
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第15 回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Explicit a posteriori local error estimation for FEM solutions2019
- Author(s)
  Nakano Taiga, Xuefeng LIU
- Organizer
  Workshop of Numerical methods for spectral problems: theory and applications
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Pointwise error estimation for finite element solution to boundary value problems2019
- Author(s)
  Xuefeng LIU
- Organizer
  日本数学会2019年秋季総合分科会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation2019
- Author(s)
  Xuefeng LIU
- Organizer
  ICIAM'2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Progress about computer-assisted proof for the stationary solution of Navier-Stokes equation2019
- Author(s)
  劉雪峰
- Organizer
  日本数学会2019 年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Verified pointwise evaluation for Poisson's equation via hypercircle method2019
- Author(s)
  Xuefeng LIU
- Organizer
  Mini-symposium on Verified Computing and Computer-Assisted Proof
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] 微分作用素の固有ベクトルの厳密評価について2019
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会第15 回研究部会連合発表会
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 有限要素解の局所事後誤差評価と応用について2019
- Author(s)
  中野泰河, 劉　雪峰
- Organizer
  日本応用数理学会年会2019年年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Progress about computer-assisted proof for the stationary solution of Navier-Stokes equation2019
- Author(s)
  劉雪峰
- Organizer
  日本数学会2019 年度年会
- Invited
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Approach to the Stationary Solution Verification for theNavier-Stokes Equation in 3D Domain2018
- Author(s)
  Xuefeng LIU
- Organizer
  SCAN2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 3 次元領域におけるNavier-Stokes 方程式の定常解の検証2018
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Guaranteed eigenvalue estimation for differential operators2018
- Author(s)
  Xuefeng LIU
- Organizer
  Applications of Mathematics 2018
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] A priori error estimation for the finite element solution to Stokes equation in 3D domain2018
- Author(s)
  Xuefeng LIU
- Organizer
  International Workshop on Numerical Methods for Partial Differential Equations (The Hong Kong Polytechnic University)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Guaranteed eigenvalue estimation for differential operators and its application in mathematical proof2018
- Author(s)
  Xuefeng LIU
- Organizer
  BIRS Workshop: Spectral Geometry: Theory, Numerical Analysis and Applications (18w5090)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] ３次元領域におけるStokes方程式の有限要素法解の事前誤差評価2018
- Author(s)
  劉雪峰
- Organizer
  日本数学会2018年年会
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 3 次元領域におけるNavier-Stokes 方程式の定常解の検証2018
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会年会
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 業務プロセス管理におけるクラウド計算の活用2018
- Author(s)
  劉雪峰
- Organizer
  情報学研究に関する産学連携促進ワークショップ
- Data Source
  KAKENHI-PROJECT-17K04047
[Presentation] Guaranteed eigenvalue estimation for differential operators2018
- Author(s)
  Xuefeng LIU
- Organizer
  Applications of Mathematics 2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] Approach to the Stationary Solution Verification for theNavier-Stokes Equation in 3D Domain2018
- Author(s)
  Xuefeng LIU
- Organizer
  SCAN2018
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K03411
[Presentation] A priori error estimation for the finite element solution to Stokes equation in 3D domain2018
- Author(s)
  Xuefeng Liu
- Organizer
  International Workshop on Numerical Methods for Partial Differential Equations
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Guaranteed eigenvalue estimation for differential operators and its application in mathematical proof2018
- Author(s)
  Xuefeng LIU
- Organizer
  Spectral Geometry: Theory, Numerical Analysis and Applications (18w5090)
- Invited
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] ３次元領域におけるStokes微分作用素の固有値評価2017
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会年会2017年年会
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 集合の二項関係に基づくスカラー化関数の数値計算法2017
- Author(s)
  于慧，池浩一郎，小形優人，齋藤裕，劉雪峰，田中環，山田修司
- Organizer
  日本オペレーションズ・リサーチ学会　2017年春季研究発表会
- Place of Presentation
  沖縄県市町村自治会館，沖縄（日本）
- Year and Date
  2017-03-15
- Data Source
  KAKENHI-PROJECT-26400194
[Presentation] Explicit eigenvalue bounds for self-adjoint partial differential operators2017
- Author(s)
  Xuefeng LIU
- Organizer
  Rigorous Numerics for Infinite Dimensional Nonlinear Dynamics (Banff International Research Station for Mathematical Innovation and Discovery)
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] High-preicision eigenvalue bounds for biharmonic differential operators2017
- Author(s)
  Xuefeng LIU
- Organizer
  The International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
- Place of Presentation
  沖縄県宮古島市上野字宮国784-１ホテルブリーズベイマリーナ
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] High-preicision eigenvalue bounds for biharmonic differential operators2017
- Author(s)
  Xuefeng Liu
- Organizer
  International Workshop on Numerical Verification and its Applications 2017 (INVA2017)
- Place of Presentation
  Hotel Breeze Bay Marina, Miyako Island, Okinawa
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 4探針法による半導体材料抵抗率の高精度な測定について2016
- Author(s)
  劉　雪峰, 中本昌雄
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  福岡県北九州市小倉北区浅野3-9-30 北九州国際会議場
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] A framework for highprecision verified eigenvalue bounds by using finite element methods2016
- Author(s)
  Xuefeng Liu
- Organizer
  the 17th International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN 2016)
- Place of Presentation
  Uppsala, Sweden
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 微分作用素の固有値の上限と下限の評価について2016
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会研究部会「数理設計」第18回研究集会
- Place of Presentation
  名古屋市中村区名駅4丁目4-38 愛知県立大学サテライトキャンパス
- Invited
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Verified High-precision Eigenvalue Bounds for Partial Differential Operators2016
- Author(s)
  Xuefeng Liu
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Pilsen, Czech Republic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Steklov固有値問題とTrace定理の定数の精度保証付き評価2016
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会・研究部会連合発表会
- Place of Presentation
  神戸学院大学ポートアイランドキャンパス（神戸市中央区港島）
- Year and Date
  2016-03-05
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] A framework of high-precision verified eigenvalue bounds for self-adjoint differential operators2016
- Author(s)
  Xuefeng LIU
- Organizer
  THE MATHEMATICS OF FINITE ELEMENTS AND APPLICATIONS 2016 (MAFELAB 2016)
- Place of Presentation
  Brunel University, England
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] A framework for highprecision verified eigenvalue bounds by using finite element methods2016
- Author(s)
  Xuefeng Liu
- Organizer
  17th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (SCAN 2016)
- Place of Presentation
  Uppsala University, Sweden
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Verified High-precision Eigenvalue Bounds for Partial Differential Operators2016
- Author(s)
  Xuefeng LIU
- Organizer
  5th European Seminar on Computing (ESCO 2016)
- Place of Presentation
  Pilsen, Czech Republic
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Stokes微分作用素の厳密な固有値評価について2016
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  福岡県北九州市小倉北区浅野3-9-30 北九州国際会議場
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] A framework of high-precision verified eigenvalue bounds for self-adjoint differential operators2016
- Author(s)
  Xuefeng Liu
- Organizer
  The Mathematics of Finite Elements and Applications 2016 (MAFELAB 2016)
- Place of Presentation
  Brunel University, England
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] Stokes微分作用素の厳密な固有値評価について2016
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2016年度年会
- Place of Presentation
  北九州国際会議場（福岡県北九州市）
- Data Source
  KAKENHI-PROJECT-16H03950
[Presentation] 自己共役微分作用素の固有値の精度保証付き下界評価について2015
- Author(s)
  劉　雪峰
- Organizer
  2015年日本数学会秋季総合分科会プログラム
- Place of Presentation
  京都産業大学（京都市北区上賀茂本山）
- Year and Date
  2015-09-16
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 自己共役微分作用素の固有値評価のフレームワークの提案2015
- Author(s)
  劉　雪峰
- Organizer
  2015年日本応用数理学会年会
- Place of Presentation
  金沢大学角間キャンパス (石川県金沢市角間町)
- Year and Date
  2015-09-09
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] High-precision verified eigenvalue bounds for self-adjoint differential operators2015
- Author(s)
  Xuefeng LIU
- Organizer
  The International Congress on Industrial and Applied Mathematics (ICIAM)
- Place of Presentation
  中国・北京
- Year and Date
  2015-08-11
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Verified lower eigenvalue bounds for self-adjoint differential operators2014
- Author(s)
  Xuefeng LIU
- Organizer
  Program of the International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)
- Place of Presentation
  Waseda University, Tokyo
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A uniform approach to high-precision verified eigenvalue bounds for self-adjoint differential operators2014
- Author(s)
  Xuefeng Liu, Michael Plum and Shin'ichi Oishi
- Organizer
  日本応用数理学会 2014年研究部会連合発表会
- Place of Presentation
  京都大学吉田キャンパス
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Verified lower eigenvalue bounds for self-adjoint differential operators2014
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  Program of the International Workshop on Numerical Verification and its Applications 2014 (INVA 2014)
- Place of Presentation
  Waseda University
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A uniform approach to high-precision verified eigenvalue bounds for self-adjoint differential operators2014
- Author(s)
  Xuefeng LIU, Michael Plum, Shin'ichi Oishi
- Organizer
  日本応用数理学会 2014年研究部会連合発表会
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Verified eigenvalue bounds for elliptic operators and applications, Karl- sruhe Institute of Technology2013
- Author(s)
  Xuefeng LIU
- Organizer
  Karlsruhe Institute of Technology
- Place of Presentation
  Karlsruhe, Germany
- Invited
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 高精度な補間関数の誤差定数の評価について2013
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2013年研究部会連合発表会
- Place of Presentation
  東洋大学白山キャンパス
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] High-precision verified eigenvalue estimation for elliptic differential operator over polygonal domain of arbitrary shape2013
- Author(s)
  Xuefeng Liu
- Organizer
  Conference on the Mathematics of Finite Elements and Applications (MAFELAP2013)
- Place of Presentation
  Brunel University, UK
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Guaranteed high-precision estimation for interpolation error constant2013
- Author(s)
  Xuefeng LIU
- Organizer
  International Symposium on Nonlinear Theory and its Applications (NOLTA2013)
- Place of Presentation
  Santa Fe, USA
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 高精度な補間関数の誤差定評価について2013
- Author(s)
  劉雪峰
- Organizer
  応用数理学会　研究部会連合発表会
- Place of Presentation
  東京　東洋大学白山キャンパス
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] High-precision verified eigenvalue estimation for elliptic diferential operator over polygonal domain of arbitrary shape2013
- Author(s)
  Xuefeng LIU
- Organizer
  Confer- ence on the Mathematics of Finite Elements and Applications (MAFE- LAP2013)
- Place of Presentation
  Brunel University, UK
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 共役楕円型偏微分作用素の高精度な固有値評価のフレームワーク2013
- Author(s)
  劉　雪峰
- Organizer
  日本応用数理学会三部会連携「応用数理セミナー」
- Place of Presentation
  東京大学
- Invited
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Guaranteed highprecision estimation for interpolation error constant2013
- Author(s)
  Xuefeng Liu
- Organizer
  International Symposium on Nonlinear Theory and its Applications (NOLTA2013)
- Place of Presentation
  Santa Fe, USA
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On verified eigenvalue evaluation of self-adjoint elliptic differential operator2012
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  The 8th EASIAM
- Place of Presentation
  Taipei, Taiwan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A framework on high precision eigenvalue value evaluation for self-adjoint elliptic operator2012
- Author(s)
  Xuefeng Liu
- Organizer
  4th China-Japan-Korea Conference on Numerical Mathematics
- Place of Presentation
  Otsu City, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On verified eigenvalue evaluation of self-ajoint elliptic differential operator2012
- Author(s)
  Xuefeng Liu
- Organizer
  The 8th EASIAM
- Place of Presentation
  Taipei, Taiwan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 自己共役楕円型微分作用素の高精度な固有値評価のについて2012
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2012年度年会
- Place of Presentation
  北海道稚内市
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On High Precision Eigenvalue Estimation for Self-adjoint Elliptic Differential Operator and Its Application2012
- Author(s)
  Xuefeng Liu
- Organizer
  The Tenth Asian Symposium on Computer Mathematics (ASCM 2012)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On high-precision eigenvalue estimation for self-adjoint elliptic differential operator and its application2012
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  The Tenth Asian Symposium on Computer Mathematics (ASCM 2012)
- Place of Presentation
  Beijing, China
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A framework of high precision eigenvalue estimation for selfadjoint elliptic differential operator,2012
- Author(s)
  Xuefeng Liu
- Organizer
  15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012)
- Place of Presentation
  Novosibirsk,Russia
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A framework on high precision eigenvalue value evaluation for self-adjoint elliptic operator2012
- Author(s)
  Xuefeng Liu
- Organizer
  4th China-Japan-Korea Conference on Numerical Mathematics
- Place of Presentation
  Shiga, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Maximum eigenvalue evaluation and fixed point theory2012
- Author(s)
  Xuefeng LIU
- Organizer
  日本応用数理学会 2012 年研究部会連合発表会
- Place of Presentation
  九州大学伊都キャンパス
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On guaranteed eigenvalue estimation of compact differential operator with singularity2012
- Author(s)
  Xuefeng Liu
- Organizer
  2012 International Symposium on Nonlinear Theory and its Applications(NOLTA 2012)
- Place of Presentation
  Palma Majorca, Spain
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] A framework of high-precision eigenvalue estimation for self-adjoint elliptic differential operator2012
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  15th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics (SCAN'2012)
- Place of Presentation
  Novosibirsk, Russia
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 自己共役楕円型微分作用素の高精度な固有値評価について2012
- Author(s)
  劉雪峰, 大石進一
- Organizer
  日本応用数理学会 2012年度年会
- Place of Presentation
  北海道稚内市
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On the high precision bound for interpolation constant2012
- Author(s)
  劉雪峰
- Organizer
  2012年度応用数学合同研究集会
- Place of Presentation
  滋賀県大津市龍谷大学
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On guaranteed eigenvalue estimation of compact differential operator with singularity2012
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  2012 International Symposium on Nonlinear Theory and its Applications(NOLTA2012)
- Place of Presentation
  Palma Majorca, Spain
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 不動点定理による大規模行列の固有値の精度保証付き評価2012
- Author(s)
  劉雪峰, 大石進一
- Organizer
  第41回数値解析シンポジウム
- Place of Presentation
  群馬県渋川市
- Year and Date
  2012-06-08
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On verified evaluation of several interpolation error constants2011
- Author(s)
  劉雪峰, 大石進一
- Organizer
  日本応用数理学会2011年度年会
- Place of Presentation
  京都
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Computer Assisted Eigenvalue Bounds2011
- Author(s)
  Xuefeng LIU, Shin'ichi Oishi
- Organizer
  International Council for Industrial and Applied Mathematics(2011)
- Place of Presentation
  Vancouver, Canada
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On Verified Computation of laplacian Eigenvalues Over Polygonal Domain2011
- Author(s)
  Xuefeng LIU, Shin'ichi Oishi
- Organizer
  2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011)
- Place of Presentation
  Kobe, Hyogo, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Computable error estimation for finite element method and computer-assisted proof2011
- Author(s)
  Xuefeng LIU
- Organizer
  University of Science and Technology of China(招待講演)
- Place of Presentation
  Hefei, China
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] High precision eigenvalue bounds for laplacian over general polygonal domain2011
- Author(s)
  Xuefeng LIU
- Organizer
  Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics
- Place of Presentation
  Cardiff University, UK
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On verified computation of laplacian eigenvalues over polygonal domain2011
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  2011 International Symposium on Nonlinear Theory and its Applications (NOLTA 2011)
- Place of Presentation
  Kobe, Hyogo, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] 有限要素法の計算的な誤差評価とその応用2011
- Author(s)
  劉雪峰
- Organizer
  第33回発展方程式若手セミナー
- Place of Presentation
  茨城県つくば市
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Computer-assisted eigenvalue bounds2011
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  ICIAM 2011
- Place of Presentation
  Vancouver, Canada
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On computable eigenvalue evaluation for elliptic eigen-problem with singularity2011
- Author(s)
  Xuefeng Liu
- Organizer
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
- Place of Presentation
  Karlsruhe, Germany
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] On computable eigenvalue evaluation for elliptic eigen-problem with singularity2011
- Author(s)
  Xuefeng LIU, Shin'ichi Oishi
- Organizer
  Japanese-German Workshop on Computer-Assisted Proofs and Verification Methods
- Place of Presentation
  Karlsruhe,Germany
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain2011
- Author(s)
  Xuefeng LIU, Shin'ichi Oishi
- Organizer
  The 7th East Asia SIAM Conference & RIMS Workshop
- Place of Presentation
  Kitakyushu, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] Numerical verification for solution existence of elliptic PDE on arbitrary polygonal domain2011
- Author(s)
  Xuefeng Liu and Shin'ichi Oishi
- Organizer
  The 7th EASIAM
- Place of Presentation
  Kitakyushu Campus of Waseda University, Fukuoka, Japan
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] High-precision eigenvalue bounds for laplacian over general polygonal domain2011
- Author(s)
  Xuefeng Liu
- Organizer
  Workshop on Analytic and Computational Techniques in Spectral Theory and Related Topics
- Place of Presentation
  Gregynog Hall, Cardiff University, UK
- Data Source
  KAKENHI-PROJECT-23740092
[Presentation] An Uniform Approach to Bound Eigenvalues of Self-adjoint Differential Operators
- Author(s)
  Xuefeng LIU
- Organizer
  4th European Seminar on Computing
- Place of Presentation
  Pilsen, Czech Republic
- Year and Date
  2014-06-15 – 2014-06-20
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] On the spectral-shift method in Lehmann-Goerisch’s theorem
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会 2015年研究部会連合発表会
- Place of Presentation
  明治大学中野キャンパス、東京
- Year and Date
  2015-03-06 – 2015-03-07
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 半導体の抵抗率の測定に関する精度保証付き数値計算
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2014年度年会
- Place of Presentation
  政策研究大学院大学, 東京
- Year and Date
  2014-09-03 – 2014-09-05
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] Verified lower eigenvalue bounds for self-adjoint di↵erential operators
- Author(s)
  Xuefeng LIU
- Organizer
  16th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
- Place of Presentation
  University of Wurzburg,Germany
- Year and Date
  2014-09-21 – 2014-09-26
- Data Source
  KAKENHI-PROJECT-26800090
[Presentation] 非適合有限要素法を用いた偏微分作用素の固有値評価
- Author(s)
  劉雪峰
- Organizer
  日本応用数理学会2014年度年会
- Place of Presentation
  政策研究大学院大学, 東京
- Year and Date
  2014-09-03 – 2014-09-05
- Data Source
  KAKENHI-PROJECT-26800090

1. KOBAYASHI Kenta (60432902)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
2. 渡部善隆 (90243972)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. TANAKA Tamaki (10207110)

# of Collaborated Projects: 3 results

# of Collaborated Products: 1 results
4. 土屋卓也 (00163832)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. 高安亮紀 (60707743)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. 山田修司 (80331544)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
7. 村松正吾 (30295472)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. 安田浩保 (00399354)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. 永原正章 (90362582)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. TANINO Tetsuzo (50125605)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. MATSUSHITA Shinya (20435449)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. SUZUKI Satoshi (70580489)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. Lee Gunyung (60212685)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 木村泰紀 (20313447)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 黒岩大史 (40284020)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. 長坂悦敬 (00268236)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. 齋藤裕 (50806057)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. 早坂圭司 (40377966)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. 小野峻佑 (60752269)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. 大竹雄 (90598822)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. 荻田武史 (00339615)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. 中尾充宏 (10136418)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. 関根晃太 (80732239)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. 田中雄一 (10547029)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. KIMURA Kenji

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. HIGUCHI Masakazu

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

liu xuefeng 劉 雪峰

LIU Xuefeng 劉 雪峰

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computer-assisted solution verification for the Navier-Stokes equation with large Reynolds numbersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computer-assisted solution verification for 3D flows with large Reynolds numbersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Computer-assisted proof for stationary solution existence of Navier-Stokes equation on 3D domainPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

High-precision eigenvalue estimation for the Biharmonic differential operatorPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verified eigenvalue estimation for elliptic differential operators and its application in non-linear problemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] 精度保証付き数値計算の基礎2018

Author(s)

Total Pages

Publisher

ISBN

liu xuefeng 劉雪峰

LIU Xuefeng 劉雪峰