×

验证数字.jl

swMATH ID: 38173
软件作者： Benet，L.、Sanders，D.P。
描述： Julia包ValidatedNumerics.jl:ValidatedNumerics.jl是一组Julia软件包，用于在Julia中执行“验证的数值”，即使用区间算术进行有限精度浮点运算的严格计算：数量被视为在整个计算过程中传播的区间。最终结果是从给定的初始数据开始，保证包含正确结果的间隔。该包的目标是正确性和良好的性能。
主页： https://github.com/JuliaIntervals/ValidatedNumerics.jl
源代码：  https://github.com/JuliaIntervals/ValidatedNumerics.jl
依赖项： 朱莉娅
相关软件： github;C-XSC 2.0版;摩尔;倍频程间隔;J间隔;Boost Interval算术;阿伯;细屑++;国际实验室;MPFI公司;SageMath公司;兔子MQ;零MQ;蟒蛇;全球溶胶;JuMP公司;交响曲;男爵;全球可编程只读存储器;Matlab公司
引用于： 4文件
全部的 前5名

9位作者引用

1 路易斯·贝内特
1 卢卡·费兰蒂
1 巴特·库比卡（Bartłomiej Jacek）
1 希恩·沙基班·奥尔弗
1 Revol，纳塔莉
1 马修·D·斯塔伯。
1 马库斯·韦布
1 马修·E·威廉。
1 谢尔盖·日林。

3篇连载文章中引用

1 数学物理中的通信
1 优化方法和软件
1 计算智能研究

在5个字段中引用

三 数值分析（65-XX）
2 运筹学、数学规划（90-XX）
1 功能分析（46倍X倍）
1 算子理论（47-XX）
1 系统论；控制（93至XX）

按年份列出的引文