欢迎您访问环中睿驰！
400-869-0026 010-67506619
reach@reachsoft.com.cn
软件分类
Magma 是面向代数、数论、代数几何、有限几何和组合数学的计算代数系统，可用于群、环、域、模、代数、曲线、图、编码和相关数学结构的构造、性质分析、同构检验与科研计算。
GAMS 是面向数学优化、均衡建模和决策分析的通用代数建模系统，可通过集合、参数、变量和方程描述复杂优化问题，并调用不同求解器完成线性规划、混合整数规划、非线性规划、混合整数非线性规划、互补问题和随机优化等计算任务。软件适用于能源规划、供应链优化、生产计划、交通运输、贸易政策、一般均衡模型、资源配置、金融决策和教育科研等场景。
EES（Engineering Equation Solver） 集工程方程数值求解、热力学及输运物性、单位检查、参数化研究与结果绘图于一体，可用于热力学、流体力学和传热分析，并按授权提供优化、不确定性分析及回归等功能，支持正版授权采购与报价咨询。
Mathematica 计算机代数系统软件基于 Wolfram 语言，面向科研、工程、教育、数据科学、金融、物理、化学、地理、天文和控制系统等技术计算场景。软件将符号与数值计算、代数操作、微积分、微分方程、优化、有限元、表格数据、时间序列、机器学习、LLM 辅助、科学知识库、二维和三维可视化、图像音频视频处理、笔记本文档、云端分享和部署能力整合在同一工作环境中，适合进行公式推导、算法验证、数据建模、交互式演示和可重复计算报告制作。
TK Solver 是一款数学建模与方程求解软件，可用于声明式建模、代数线性和非线性方程求解、微分方程处理、反向求解、工程单位处理、Excel 工作流衔接以及 CalcEdge 云端模型共享。
