代数推导相关论文
解析几何,顾名思义,就是用代数的方法研究几何问题.然而,如果用纯粹的代数方法解决某些解析几何问题,思路虽简单,但运算较繁琐,导......
针对现有软件过程验证主要以结构验证和性质验证为主，缺乏行为验证的不足，提出了一种验证软件演化过程行为的代数方法．该方法使用通信......
