科学计算与符号数学软件，用于数学建模、工程计算、数据分析、可视化及教学，支持符号推导与数值求解。符号与数值计算引擎二维三维图形可视化编程语言与文档界面工程建模与仿真工具