【文件属性】：
文件名称：matlab集成c代码-vcp:VCP库
文件大小：157KB
文件格式：ZIP
更新时间：2021-05-22 03:48:39
系统开源
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
++编程语言编写的具有保证精度的数值验证库
【文件预览】：
vcp-master
----vera0.0.6.txt(1KB)
----installer()
--------install_centos8.sh(3KB)
--------install_centos7.sh(3KB)
--------install_ubuntu2004.sh(2KB)
--------install_ubuntu1804.sh(3KB)
----vera0.1.1.txt(1KB)
----test_PDE()
--------test_Gray_Scott.cpp(19KB)
--------test_Emden_Numerische_Mathematik2020.cpp(16KB)
--------test_newton2_Emden.cpp(4KB)
--------test_Lotka_Volterra2_NOLTA2021.cpp(19KB)
--------test_Emden.cpp(14KB)
--------test_Emden_NOLTA2021.cpp(15KB)
--------test_parabolic_Emden_approximate.cpp(5KB)
--------Data_Gray_Scott()
--------test_Laplace_eigenvalue.cpp(4KB)
--------test_Allen_Cahn.cpp(10KB)
--------test_newton1.cpp(2KB)
--------test_IRK_Legendre_approximate.cpp(4KB)
----test_matrix()
--------test_matrix.cpp(5KB)
--------test_matrixbool.cpp(3KB)
--------test_metafunction.cpp(5KB)
--------Check_Compile_Option1.cpp(726B)
--------test_minimatrix.cpp(3KB)
--------test_convert.cpp(3KB)
--------Check_pidblas_rounding.cpp(2KB)
--------Check_OpenMP.cpp(4KB)
--------Check_pdblas_rounding.cpp(2KB)
--------test_interval_matrix.cpp(3KB)
--------benchmark.cpp(5KB)
--------Check_Compile_Option2.cpp(966B)
--------test_submatrix.cpp(3KB)
----LICENSE(3KB)
----vera0.0.3.txt(217B)
----README.md(10KB)
----vera0.0.4.txt(340B)
----vera0.1.0.txt(1KB)
----vcp()
--------sincos_class.hpp(7KB)
--------legendre_integral.hpp(6KB)
--------init_vector.hpp(3KB)
--------fourier_basis.hpp(12KB)
--------ldbase.hpp(72KB)
--------vcp_metafunction.hpp(3KB)
--------matrix.hpp(29KB)
--------fourier_series.hpp(23KB)
--------pidblas.hpp(9KB)
--------imats_assist.hpp(6KB)
--------matrix_conv.hpp(2KB)
--------mats.hpp(65KB)
--------implicit_rk.hpp(10KB)
--------vcp_psa_assist.hpp(4KB)
--------imats.hpp(15KB)
--------vcp_converter.hpp(8KB)
--------minimatrix.hpp(34KB)
--------irk_legendre_parameter.hpp(4KB)
--------newton.hpp(4KB)
--------pdblas.hpp(11KB)
--------hybrid_app_lss.hpp(3KB)
--------vcp_fio.hpp(11KB)
--------vcp_timer.hpp(2KB)
--------matrix_assist.hpp(2KB)
--------ldbase_assist.hpp(2KB)
----vera0.0.5.txt(502B)
----.gitignore(192B)