CAPD: DynSys: 一个灵活的 C++ 工具箱, 用于对动态系统进行严格的数字分析 (CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems) - 专知论文

会员服务 ·

0

动力系统 · CASE · BASIC · 数值分析 ·

2020 年 10 月 14 日

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems

翻译：CAPD: DynSys: 一个灵活的 C++ 工具箱, 用于对动态系统进行严格的数字分析

Tomasz Kapela,Marian Mrozek,Daniel Wilczak,Piotr Zgliczyński

from arxiv, 25 pages, 4 figures, 11 full C++ examples

We present the CAPD::DynSys library for rigorous numerical analysis of dynamical systems. The basic interface is described together with several interesting case studies illustrating how it can be used for computer-assisted proofs in dynamics of ODEs.

翻译：我们介绍了CAPD:: DynSys 图书馆,用于对动态系统进行严格的数字分析。基本界面与若干有趣的案例研究一起描述,说明如何在动态代码中将其用于计算机辅助验证。

0

相关内容

动力系统

【干货书】机器学习Primer，122页pdf

【干货书】机器学习Primer，122页pdf

专知会员服务

106+阅读 · 2020年10月5日

(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》

(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》

专知会员服务

119+阅读 · 2020年5月30日

【Manning新书】现代Java实战，592页pdf

【Manning新书】现代Java实战，592页pdf

专知会员服务

99+阅读 · 2020年5月22日

【2020新书】如何成为一名专业的数据科学家？352页pdf，Build a Career in Data Science

【2020新书】如何成为一名专业的数据科学家？352页pdf，Build a Career in Data Science

专知会员服务

92+阅读 · 2020年3月14日

缺失数据统计分析，第三版，462页pdf

缺失数据统计分析，第三版，462页pdf

专知会员服务

108+阅读 · 2020年2月28日

【NYU CS-GY 9223I】算法机器学习和数据科学（Algorithmic Machine Learning and Data Science），纽约大学坦顿工程学院计算机科学与工程助理教授 |Christopher Musco

【NYU CS-GY 9223I】算法机器学习和数据科学（Algorithmic Machine Learning and Data Science），纽约大学坦顿工程学院计算机科学与工程助理教授 |Christopher Musco

专知会员服务

19+阅读 · 2019年12月24日

【中科院计算所】边缘计算与工具综述论文，A Survey on Edge Computing Systems and Tools

【中科院计算所】边缘计算与工具综述论文，A Survey on Edge Computing Systems and Tools

专知会员服务

90+阅读 · 2019年11月12日

【新书】Python编程基础，669页pdf

【新书】Python编程基础，669页pdf

专知会员服务

194+阅读 · 2019年10月10日

机器学习入门的经验与建议

机器学习入门的经验与建议

专知会员服务

92+阅读 · 2019年10月10日

【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用

【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用

专知会员服务

39+阅读 · 2019年10月9日

缺失数据统计分析，第三版，462页pdf

缺失数据统计分析，第三版，462页pdf

专知

46+阅读 · 2020年2月28日

计算机 | CCF推荐期刊专刊信息5条

计算机 | CCF推荐期刊专刊信息5条

Call4Papers

3+阅读 · 2019年4月10日

人工智能 | SCI期刊专刊信息3条

人工智能 | SCI期刊专刊信息3条

Call4Papers

5+阅读 · 2019年1月10日

大数据 | 顶级SCI期刊专刊/国际会议信息7条

大数据 | 顶级SCI期刊专刊/国际会议信息7条

Call4Papers

10+阅读 · 2018年12月29日

计算机类 | ISCC 2019等国际会议信息9条

计算机类 | ISCC 2019等国际会议信息9条

Call4Papers

5+阅读 · 2018年12月25日

计算机类 | LICS 2019等国际会议信息7条

计算机类 | LICS 2019等国际会议信息7条

Call4Papers

3+阅读 · 2018年12月17日

计算机类 | 期刊专刊截稿信息9条

计算机类 | 期刊专刊截稿信息9条

Call4Papers

4+阅读 · 2018年1月26日

人工智能 | 国际会议/SCI期刊约稿信息9条

人工智能 | 国际会议/SCI期刊约稿信息9条

Call4Papers

3+阅读 · 2018年1月12日

计算机类 | 国际会议信息7条

计算机类 | 国际会议信息7条

Call4Papers

3+阅读 · 2017年11月17日

【推荐】免费书(草稿)：数据科学的数学基础

【推荐】免费书(草稿)：数据科学的数学基础

机器学习研究会

20+阅读 · 2017年10月1日

Doubly-robust evaluation of high-dimensional surrogate markers

Arxiv

0+阅读 · 2020年12月2日

Deep learning based numerical approximation algorithms for stochastic partial differential equations and high-dimensional nonlinear filtering problems

Arxiv

0+阅读 · 2020年12月2日

SUPG-stabilized Virtual Elements for diffusion-convection problems: a robustness analysis

Arxiv

0+阅读 · 2020年12月2日

Have We Reached Consensus? An Analysis of Distributed Systems Syllabi

Arxiv

0+阅读 · 2020年12月1日

Can neural networks learn persistent homology features?

Arxiv

0+阅读 · 2020年11月30日

Performance Analysis of Cell Free Massive MIMO systems in LoS/ NLoS Channels

Arxiv

0+阅读 · 2020年11月30日

Causal Discovery in Physical Systems from Videos

Arxiv

0+阅读 · 2020年11月29日

NLPStatTest: A Toolkit for Comparing NLP System Performance

Arxiv

0+阅读 · 2020年11月26日

Simultaneous inference for time-varying models

Arxiv

0+阅读 · 2020年11月26日

A Survey on Edge Computing Systems and Tools

Arxiv

35+阅读 · 2019年11月7日

VIP会员

文章信息

相关主题

相关VIP内容

【干货书】机器学习Primer，122页pdf

【干货书】机器学习Primer，122页pdf

专知会员服务

106+阅读 · 2020年10月5日

(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》

(普林斯顿讲义)：高维概率论，326页pdf《Probability in High Dimension》

专知会员服务

119+阅读 · 2020年5月30日

【Manning新书】现代Java实战，592页pdf

【Manning新书】现代Java实战，592页pdf

专知会员服务

99+阅读 · 2020年5月22日

【2020新书】如何成为一名专业的数据科学家？352页pdf，Build a Career in Data Science

【2020新书】如何成为一名专业的数据科学家？352页pdf，Build a Career in Data Science

专知会员服务

92+阅读 · 2020年3月14日

缺失数据统计分析，第三版，462页pdf

缺失数据统计分析，第三版，462页pdf

专知会员服务

108+阅读 · 2020年2月28日

【NYU CS-GY 9223I】算法机器学习和数据科学（Algorithmic Machine Learning and Data Science），纽约大学坦顿工程学院计算机科学与工程助理教授 |Christopher Musco

【NYU CS-GY 9223I】算法机器学习和数据科学（Algorithmic Machine Learning and Data Science），纽约大学坦顿工程学院计算机科学与工程助理教授 |Christopher Musco

专知会员服务

19+阅读 · 2019年12月24日

【中科院计算所】边缘计算与工具综述论文，A Survey on Edge Computing Systems and Tools

【中科院计算所】边缘计算与工具综述论文，A Survey on Edge Computing Systems and Tools

专知会员服务

90+阅读 · 2019年11月12日

【新书】Python编程基础，669页pdf

【新书】Python编程基础，669页pdf

专知会员服务

194+阅读 · 2019年10月10日

机器学习入门的经验与建议

机器学习入门的经验与建议

专知会员服务

92+阅读 · 2019年10月10日

【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用

【SIGGRAPH2019】TensorFlow 2.0深度学习计算机图形学应用

专知会员服务

39+阅读 · 2019年10月9日

热门VIP内容

相关资讯

缺失数据统计分析，第三版，462页pdf

缺失数据统计分析，第三版，462页pdf

专知

46+阅读 · 2020年2月28日

计算机 | CCF推荐期刊专刊信息5条

计算机 | CCF推荐期刊专刊信息5条

Call4Papers

3+阅读 · 2019年4月10日

人工智能 | SCI期刊专刊信息3条

人工智能 | SCI期刊专刊信息3条

Call4Papers

5+阅读 · 2019年1月10日

大数据 | 顶级SCI期刊专刊/国际会议信息7条

大数据 | 顶级SCI期刊专刊/国际会议信息7条

Call4Papers

10+阅读 · 2018年12月29日

计算机类 | ISCC 2019等国际会议信息9条

计算机类 | ISCC 2019等国际会议信息9条

Call4Papers

5+阅读 · 2018年12月25日

计算机类 | LICS 2019等国际会议信息7条

计算机类 | LICS 2019等国际会议信息7条

Call4Papers

3+阅读 · 2018年12月17日

计算机类 | 期刊专刊截稿信息9条

计算机类 | 期刊专刊截稿信息9条

Call4Papers

4+阅读 · 2018年1月26日

人工智能 | 国际会议/SCI期刊约稿信息9条

人工智能 | 国际会议/SCI期刊约稿信息9条

Call4Papers

3+阅读 · 2018年1月12日

计算机类 | 国际会议信息7条

计算机类 | 国际会议信息7条

Call4Papers

3+阅读 · 2017年11月17日

【推荐】免费书(草稿)：数据科学的数学基础

【推荐】免费书(草稿)：数据科学的数学基础

机器学习研究会

20+阅读 · 2017年10月1日

相关论文

Doubly-robust evaluation of high-dimensional surrogate markers

Arxiv

0+阅读 · 2020年12月2日

Deep learning based numerical approximation algorithms for stochastic partial differential equations and high-dimensional nonlinear filtering problems

Arxiv

0+阅读 · 2020年12月2日

SUPG-stabilized Virtual Elements for diffusion-convection problems: a robustness analysis

Arxiv

0+阅读 · 2020年12月2日

Have We Reached Consensus? An Analysis of Distributed Systems Syllabi

Arxiv

0+阅读 · 2020年12月1日

Can neural networks learn persistent homology features?

Arxiv

0+阅读 · 2020年11月30日

Performance Analysis of Cell Free Massive MIMO systems in LoS/ NLoS Channels

Arxiv

0+阅读 · 2020年11月30日

Causal Discovery in Physical Systems from Videos

Arxiv

0+阅读 · 2020年11月29日

NLPStatTest: A Toolkit for Comparing NLP System Performance

Arxiv

0+阅读 · 2020年11月26日

Simultaneous inference for time-varying models

Arxiv

0+阅读 · 2020年11月26日

A Survey on Edge Computing Systems and Tools

Arxiv

35+阅读 · 2019年11月7日

微信扫码咨询专知VIP会员