面向问题解算的集成支撑环境

本文介绍了实现“推理与计算混合软件包”时使用的一项关键技术——创建一个面向问题解算的集成化支撑环境。指出该环境的特点、结构和集成机制。

符号网络分析系统

本文介绍了作者用符号演算方法，在微型计算机上实现的一套符号网络分析系统。使用这套系统作网络辅助分析与设计，可得精确的符号解。

符号网络分析系统

本文介绍了作者用符号演算方法，在微型计算机上实现的一套符号网络分析系统。使用这套系统作网络辅助分析与设计，可得精确的符号解。

带中西文量纲演算与转换的符号演算系统

本文介绍作者在自已研制的一个集成化支撑环境支持下，采用公理化方法所开发出的又一个应用系统。在这个系统中，除了可以把古今中外多种单位制转换为ＳＩ制，可以作多种单位间的量纲转换外，还可以对带中西文量纲的广义表达式作符号演算和数值计算，这是目前其他中外系统暂时都无法实现的功能。这个系统已集成到《推理与计算混合软件包》中。