摘要

介绍处理高等代数习题的标准形式化方法、公理化方法、模型转换方法、形式统一性方法和形态联想方法,并给出实例加以说明.