当前位置：软服之家 > 全部软件分类 > 数据统计分析/科学计算 > 科学计算/数学计算
科学计算/数学计算

科学计算/数学计算

科学计算软件是解决科学和工程中的数学问题，利用计算机进行数值计算、数值模拟的核心基础软件。数学软件就是专门用来进行数学运算、数学规划、统计运算、工程运算、绘制数学图形或制作数学动画的软件。
科学计算/数学计算产品
Logo
ModelCoder
ModelCoder是一个可以从模型自动生成代码的设计工具，能够自动从同步数据流语言Lustre生成C代码。ModelCoder的优势在于对模型到C语言的转换过程进行了形式化验证，从而严格地证明了模型转换过程的可靠性。ModelCoder可以与经过形式化验证的CompCert C编译器对接，从而实现...
科学计算/数学计算
184浏览  |  厂商已入驻提供最新报价
免费询价
Logo
GAUSS
GAUSS平台是一个专为数学和统计学设计的交互式环境，30多年来一直被主要机构的数据依赖领域的领导者使用。
Logo
SAS/STAT
SAS/STAT是由SAS Institute开发的统计分析软件模块，提供了从传统的方差分析和回归分析，到多元统计和贝叶斯分析，满足专业化和企业级的分析需求。SAS/STAT软件可以用于执行各种统计分析，包括描述统计、回归分析、方差分析、时间序列分析、生存分析等。它还提供了数据可视化和报告生成功能，...
Logo
archelios光伏计算软件
针对光伏项目提供精确的产量仿真和经济分析，archelios™Pro 是一款针对光伏专业人员用于光伏项目设计、仿真和经济分析的在线应用，提供广泛的功能和设计光伏装置所需的庞大数据库（气象站、太阳能板、逆变器、微型逆变器、电池），项目规模可从屋顶至大型光伏发电场。...
科学计算/数学计算
9,046浏览  |  厂商已入驻提供最新报价
免费询价
Logo
MxESP 特征方程组求解器
MxESP 特征方程组求解器是用于大规模高性能并行特征值求解器。支持多种矩阵类型、方程种类、计算模式，应对多种工业仿真场景。MxESP适配Windows和Linux操作系统，提供X86/X64与ARM架构CPU多线程加速功能。...
Logo
Pariters 迭代法方程组求解器
Pariters 迭代法方程组求解器是一款高拓展性的稀疏线性迭代求解器，支持多种主流的迭代求解算法与预处理算子，多种矩阵格式，多后端加速。Pariters支持多种平台与加速设备，Windows和Linux操作系统、多节点与多线程多尺度并行、异构加速计算支持多种GPU设备。...
Logo
MxDSV 直接法方程求解器
MxDSV直接法方程求解器是一款基于共享内存的高性能稀疏线性并行直接求解器，具备完整的求解功能以及极高的求解效率，可广泛应用于不同CAE仿真场景。MxDSV凭借完备的求解功能以及极高的求解效率可为众多场景需求提供稳定高效的解决方案。...
Logo
MxScienLab 迈曦科学计算库
MxScienLab迈曦科学计算库是高性能科学计算库，包含基于直接法的稀疏线性方程求解器MxDSV，基于迭代法的稀疏线性方程求解器Paritersl及特征值求解器MxESP三个模块。...
Logo
Maxima
Maxima 是一款免费、开源的计算机代数系统，它提供了强大的数学符号计算能力。作为一种基于 Lisp 语言的工具，Maxima 能够进行高级的数字计算、数学函数绘图、符号运算、微积分、矩阵计算、概率统计等多样化的数学运算，可以帮助用户完成复杂的数学问题求解和数值计算，并且可以支持 LaTeX 格式...
Logo
AMPL—运筹学集成建模和优化平台
强大的建模语言和高效的表达方式让 AMPL 成为运筹学建模软件的经典。
Logo
MATH 数学模型仿真验证工具
MATH 数学模型仿真验证工具可以帮助工程师和科学家们验证他们的数学模型，确保其准确性和可靠性。MATH工具可以帮助用户分析和验证他们的数学模型，提高模型的可信度和适用性。通过MATH 数学模型仿真验证工具，用户可以进行模拟实验、数据分析、结果验证等，从而更好地理解和评估他们的数学模型。...
科学计算/数学计算
224浏览  |  厂商已入驻提供最新报价
免费询价
Logo
SCALE SQP SOLVER ENGINE
适用于风险求解器平台和求解器SDK平台的多功能大型非线性求解器 快速解决大规模线性，整数，二次，圆锥，非线性甚至非光滑问题。 Frontline Systems很高兴提供在Microsoft Excel内外使用的Large-Scale SQP Solver Engine。如果您要解决的问...
Logo
Spartran 计算化学软件
Spartan是计算化学软件,Spartan既可以在单机上完成所有计算任务，同时也支持Client-Serve模式，能够通过网络向Linux服务器远程提交计算....
Logo
MITCalc Bolted connection design
MITCalc Bolted connection design 预应力螺栓连接 该计算专为预应力螺栓连接的几何设计和强度检查而设计，预应力螺栓连接通过静态或循环加载加载，作用在螺栓的轴线和连接部件的平面中。该应用程序解决了以下任务： 1.自动设计标准设计的连接螺栓。 2.计算和检查配有特殊...
Logo
Scientific WorkPlace 6
Scientific WorkPlace 6使写作，共享和排版数学和科学文本比你想象的更容易。这是一个易于使用的文字处理器，在同一个环境中集成数学和文本。 Scientific WorkPlace 6中的嵌入式MuPAD5®计算机代数引擎允许用户在屏幕上执行计算，并以正确的格式打印出来。...
Logo
Altova RaptorXML Server
RaptorXMLServer可以让您超级快速地验证、处理、转化和查询巨量数据。
Logo
calcPad
calcPad是一款全新的计算器。这款计算器软件可以完成比较复杂的计算，你可以为计算结果加注说明并保存它们，如果下次打开以后更改其中的一些数据，其结果也会自动更新。和别的计算器相比，这款calcPad和我们使用演草纸的感觉相近。...