鉴于运用形式代数进行参数化建模只适用于简单空间结构的问题，提出了对空间网格结构的参数化快速间接二次建模新方法．通过生成相应平......

基于形式代数理论开发了空间结构建模库FormexLib。论述了形式代数与结构建模之间的关系,给出了实现空间建模库FormexLib的C＋＋代码。......

目的系统探讨和研究皮考克（George Peacock,1791—1858）的符号代数思想。方法文献考证和历史分析。结果皮考克（George Peacock,1791—......