安大略省计算机代数研究中心
符号线性和非线性代数 符号-数字算法 ODE和PDE的符号分析 计算机代数软件，请参见 枫树 和 RegularChains库 语言和编程环境， 看见 艾多 和 MetaFork公司 高性能计算机代数，请参阅 英国石油协会 和 古巴国防部 数学通信软件： 数学建模语言@ORCCA ， ORCCA的MONET 和 安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省安大略省