zbMATH中的参考文献（引用于，2标准条款)

1. 数学代数编译器（Aldo'Oslo，2006）
2. 惠特尔，乔恩；舒曼，约翰：自动实现卡尔曼滤波算法（2004）
3. Roşu，Grigore；Venkatesan，Ram Prasad；Whittle，Jon；Leuştean，Laurenţiu:证明状态估计程序的最优性。（2003年）
4. 维克多甘扎；奇比索夫，德米特罗；沃罗日佐夫，叶夫根尼：科学计算的问题解决：数据建模而不是算法？（2001年）
5. Akers，Robert L.；Kant，Elaine；Randall，Curtis J.；Steinberg，Stanly；Young，Robert L.：SciNapse：偏微分方程的问题求解环境（2000）
6. 法特曼，理查德J.：问题解决环境和符号计算（2000）
7. 休伊特，托马斯T.；德宝，詹妮弗L.：走向以人为中心的科学问题解决环境（2000）
8. Houstis，Elias N.（编辑）；Rice，John R.（编辑）；Gallopoulos，Efstratios（编辑）；Bramley，Randall（编辑）：计算科学的使能技术。框架、中间件和环境（2000）
9. Houstis，Elias N.；Rice，John R.：计算科学的未来问题解决环境（2000）
10. Akers，Robert L.；Baffes，Paul；Kant，Elaine；Randall，Curt；Steinberg，Stanly；Young，Robert L.：解偏微分方程数值代码的自动综合（1998）
11. Akers，Robert L.；Kant，Elaine；Randall，Curtis J.；Steinberg，Stanly；Young，Robert L.：SciNapse：偏微分方程的问题求解环境（1997）ioport公司