zbMATH中的参考文献（参考 21篇文章 引用，1标准件)

1. 查尔斯·萨维思（Charles Saravis）2021小型算术图书馆阿尔十四
2. Vinod，Abraham P.；Gleason，Joseph D.；Oishi，Meeko M.K.：演示摘要：SReachTools:MATLAB随机可达性工具箱。（2019年）
3. Vinod，Abraham P.；Gleason，Joseph D.；Oishi，Meeko M.K.：SReachTools:a MATLAB随机可达性工具箱（2019）
4. Avis，David；Jordan，Charles:\texttmplrs:a scalable parallel vertex/facet枚举代码（2018）
5. 阿萨尔夫，本杰明；盖瑞洛，Ewgenij；赫尔，卡特林；乔斯维格，迈克尔；洛伦兹，本杰明；帕芬霍尔兹，安德烈亚斯；雷恩，托马斯：用\texttpolymake计算凸包壳和计算整数点（2017）
6. Toth，Csaba D.（编辑）；Goodman，Jacob E.（编辑）；O'Rourke，Joseph（编辑）：《离散与计算几何手册》（2017）
7. Avigad，Jeremy；Lewis，Robert Y.；Roux，Cody：《真实不等式的启发式证明》（2016）
8. Andreas Baechle，Leo Margolis:帮助——整群环中扭转单元的间隙包（2015）阿尔十四
9. Savani，Rahul；von Stengel，Bernhard：《博弈论探索者：应用博弈理论家软件》（2015）
10. Avigad，Jeremy；Lewis，Robert Y.；Roux，Cody：《真实不等式的启发式证明》（2014）
11. Avis，David；Roumanis，Gary:一个可移植的并行实现的\textitlrsvertex枚举代码（2013）
12. Joswig，Michael；Theobald，Thorsten:计算几何中的多面体和代数方法（2013）
13. 马丁内特，雅克；舒曼，阿奇尔：格中最小向量的基。三、 （2012年）
14. 大卫·阿维斯；罗森博格，加布里埃尔·D.；萨瓦尼，拉胡尔；冯·斯坦格尔，伯恩哈德：两人博弈的纳什均衡枚举（2010）
15. Takemura，Akimichi；Yoshida，Ruriko:整数线性不可行问题的推广（2008）
16. Kreuzer，Maximilian；Skarke，Harald:用于分析格点多面体的软件包及其在复曲面几何中的应用（2004）
17. Emiris，Ioannis Z.：在Minkowski和中枚举整数点的子集（2002）
18. Gawrilow，Ewgenij；Joswig，Michael:polymake:计算几何中模块化软件设计的方法（2001）
19. Reid，Les；Roberts，Leslie G.：任意维的单项式子环（2001）
20. 大卫阿维斯：与（lrs）一起生活（2000）