Matlab集成的c代码VCP库
关于
没有计算机环境,就无法完成偏微分方程(PDE)解的计算机辅助存在证明的实现。
然而,需要各种技术来估计在所有计算中出现的误差。
另外,关于PDE解的存在的计算机辅助证明需要数值精度和合理的计算时间。
为此,引入了PDE验证计算(VCP)库作为用于PDE解决方案的计算机辅助存在证明的软件库。
VCP库是由第一作者使用C
++编程语言开发的软件库。
VCP库的矩阵类的一个功能是可以与基于策略的设计集成,例如,
采用英特尔:registered:MKL的双数据类型进行高速近似计算
使用MPFR的高精度近似计算
结合使用上述数据类型和kv库的具有保证精度的数值线性代数
此外,由于VCP库具有可扩展性(这是基于策略的设计的功能之一),因此可以承受PDE的计算机辅助证明。
VCP库包括
矩阵类
牛顿法课程
Legendre基类(用于椭圆形PDE)
傅里叶级数类(用于延迟ODE)
Gauss-Legendre方法:隐式Runge
kutta方法(用于ODE和抛物线PDE,不验证)
我们要求在VCP库中使用以下库:
:多精度浮点数库
:用C
++编程语言编写的具有保证精度的数值验证库
评论0
最新资源