Development of a computer-assisted proof method to verify the existence of solutions for systems to large-scale nonlinear elliptic partial differential equations

开发计算机辅助证明方法来验证大规模非线性椭圆偏微分方程系统解的存在性

基本信息

项目摘要

项目成果

期刊论文数量（27）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
精度保証付き数値計算の基礎
保证精度的数值计算基础
  • DOI：
  • 发表时间：
    2018
  • 期刊：
  • 影响因子：
    0
  • 作者：
    鈴木剛;渡邉真莉;魯楊帆;野原実;高木英典;片山尚幸;澤博;藤澤正美;金井輝人;石井順久;板谷治郎;溝川貴司;辛埴;岡﨑浩三;大石進一編著
  • 通讯作者：
    大石進一編著
A norm estimation for an inverse of linear operator using a minimal eigenvalue
使用最小特征值的线性逆算子的范数估计
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Kouta Sekine;Kazuaki Tanaka;and Shin'ichi Oishi
  • 通讯作者：
    and Shin'ichi Oishi
Fast enclosure for matrix multiplication on a GPU
GPU 上矩阵乘法的快速封装
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Yusuke Morikura;Yusuke Nozawa;Kouta Sekine;Masahide Kashiwagi and Shin’ichi Oishi
  • 通讯作者：
    Masahide Kashiwagi and Shin’ichi Oishi
Sharp numerical inclusion of the best constant for embedding H10(Ω)->Lp(Ω) on bounded convex domain
在有界凸域上嵌入 H10(Ω)->Lp(Ω) 的最佳常数的尖锐数值包含
Estimation of Sobolev embedding constant on a bounded convex domain
有界凸域上 Sobolev 嵌入常数的估计
  • DOI：
  • 发表时间：
    2018
  • 期刊：
    book of abstracts scan 2018
  • 影响因子：
    0
  • 作者：
    Makoto Mizuguchi;Kazuaki Tanaka;Kouta Sekine;and Shin'ichi Oishi
  • 通讯作者：
    and Shin'ichi Oishi
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Sekine Kouta其他文献

テイラープラウドマン状態を破る磁場の役割
磁场在打破泰勒-普劳德曼状态中的作用
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Mizuguchi Makoto;Tanaka Kazuaki;Sekine Kouta;Oishi Shin’ichi;Hideyuki Hotta;関根 晃太;堀田英之
  • 通讯作者：
    堀田英之
Tidal double detonation: a new mechanism for the thermonuclear explosion of a white dwarf induced by a tidal disruption event
潮汐双爆：潮汐破坏事件引起白矮星热核爆炸的新机制
Rigorous Numerical Enclosures for Positive Solutions of Lane?Emden’s Equation with Sub-Square Exponents
带次方指数的 Lane?Emden 方程正解的严格数值封闭式
  • DOI：
    10.1080/01630563.2022.2029485
  • 发表时间：
    2022
  • 期刊：
    Numerical Functional Analysis and Optimization
  • 影响因子：
    1.2
  • 作者：
    Tanaka Kazuaki;Plum Michael;Sekine Kouta;Kashiwagi Masahide;Oishi Shin’ichi
  • 通讯作者：
    Oishi Shin’ichi
Hadamard変分の数値的検証
Hadamard 变体的数值验证
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Mizuguchi Makoto;Sekine Kouta;Hashimoto Kouji;Nakao Mitsuhiro T.;Oishi Shin’ichi;土屋卓也
  • 通讯作者：
    土屋卓也
A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator
使用 Schur 补集来证明椭圆问题解的数值存在性的新公式：无需直接估计线性算子的逆
  • DOI：
    10.1007/s00211-020-01155-7
  • 发表时间：
    2020
  • 期刊：
    Numerische Mathematik
  • 影响因子：
    2.1
  • 作者：
    Sekine Kouta;Nakao Mitsuhiro T.;Oishi Shin’ichi
  • 通讯作者：
    Oishi Shin’ichi

Sekine Kouta的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

相似海外基金

精度保証付き数値計算の前進---有限と無限をつなぐもの---
保证精度的数值计算进展---连接有限与无限---
  • 批准号：
    23K20812
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
固有値に関するアダマール変分の精度保証付き数値計算とスペクトル幾何学への応用
保证精度的哈达玛变分关于特征值的数值计算及其在谱几何中的应用
  • 批准号：
    24KJ1170
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
補間誤差解析を超えて切り拓く有限要素法と精度保証付き数値計算の新たなる地平
有限元方法和数值计算的新视野，保证精度超越插值误差分析
  • 批准号：
    24K00538
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (B)
計算機援用「超」ホモトピー法---精度保証付き数値計算の新次元---
计算机辅助“超”同伦法——精度保证的数值计算新维度——
  • 批准号：
    24H00694
  • 财政年份：
    2024
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Scientific Research (A)
不連続拡散係数を持つ反応拡散モデルに対する精度保証付き数値計算法
具有不连续扩散系数的反应扩散模型的精度保证数值计算方法
  • 批准号：
    23K13020
  • 财政年份：
    2023
  • 资助金额：
    $ 2.16万
  • 项目类别：
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了