Constructing Lyapunov functions by verified numerics
Constructing Lyapunov functions by verified numerics
通过验证的数值构造 Lyapunov 函数
批准号：
15K04991
负责人：
Yamamoto Nobito
金额：
$2.91万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2015
资助国家：
日本
项目状态：
已结题
起止时间：
2015-04-01 至 2018-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Hybrid力学系の不動点およびLyapunov関数についての精度保証
混合动力系统不动点和李亚普诺夫函数的精度保证
混合动力系统不动点和李亚普诺夫函数的精度保证
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[新田光輝, 中山大輔, 三宅智大, 山本野人]
通讯作者：
山本野人
高次元力学系におけるホモクリニック軌道の精度保証法に向けて
一种保证高维动力系统中同宿轨迹精度的方法
一种保证高维动力系统中同宿轨迹精度的方法
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[新田光輝, 山本野人]
通讯作者：
山本野人
LILIB - Long Interval Library
LILIB - 长间隔库
LILIB - 长间隔库
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[Nozomu MATSUDA, Nobito YAMAMOTO]
通讯作者：
Nobito YAMAMOTO
Hybrid系における精度保証による周期解の検証とLyapunov関数の構成
混合系统精度保证周期解的验证及李雅普诺夫函数的构造
混合系统精度保证周期解的验证及李雅普诺夫函数的构造
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[三宅 智大, 新田 光輝, 中山 大輔, 山本 野人]
通讯作者：
山本 野人
二次形式を用いたaffine arithmeticの拡張について
用二次形式扩展仿射算术
用二次形式扩展仿射算术
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[中山大輔, 松田望, 山本野人]
通讯作者：
山本野人
共 18 条
Development of analyzing tools of dynamical systems based on verified numerics
-
批准号：18K03410
-
项目类别：Grant-in-Aid for Scientific Research (C)
-
资助金额：$2.83万
-
财政年份：2018
-
负责人：Yamamoto Nobito
-
依托单位：