.png){kind=icon}
返回
Tool for analyzing ODEs with conserved quantities through verified computation
.png){kind=icon}
PRE
AI
DOI：10.1007/s13160-026-00789-8.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本研究旨在为从事现象模拟的人员提供易于使用的、基于数值验证方法构建的数学工具。我们提出了一种适用于具有守恒量的多个常微分方程系统的通用公式，该公式能为解轨迹提供界限。通过验证数值计算该公式比计算解轨迹更简单；因此，该公式可成为对数值验证方法不熟悉的科研人员的有用工具。
Keyword:
Numerical verification
ODEs
Conserved quantity
期刊
J
IF:
1.1
论文数:
62
被引数:
0
机构
引用论文
.png){kind=icon}
Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation对称连接轨道的严格数值方法：Gray–Scott方程的偶同宿轨道
OAAI
OAAI分享收藏分享收藏
Continuation of homoclinic orbits in the suspension bridge equation: A computer-assisted proof同宿轨道在悬索桥方程中的延续：一种计算机辅助证明
PREAI
分享收藏
查看更多内容