zbMATH中的参考文献（参考文献21条,1标准件)

1. 大卫·阿维斯，查尔斯·乔丹：一个小型固定/混合算术C库（2021）阿尔十四
2. 维诺德，亚伯拉罕P。；格里森，约瑟夫D。；Oishi，Meeko M。K、 ：SReachTools:MATLAB随机可达性工具箱（2019）
3. 维诺德，亚伯拉罕P。；格里森，约瑟夫D。；Oishi，Meeko M。K、 随机可及性：MATLAB工具集(2019年）
4. 阿维斯，大卫；Jordan，Charles:\texttmplrs:a scalable parallel vertex/facet枚举代码（2018）
5. 阿萨尔夫，本杰明；盖瑞洛，Ewgenij；先生，卡特琳；乔斯维格，迈克尔；本杰明·洛伦兹；帕芬霍尔兹，安德烈亚斯；Rehn，Thomas:用\texttpolymake计算凸壳和计算整数点（2017）
6. 托思，克萨巴D(编辑）；古德曼，雅各布·E(编辑）；O'Rourke，Joseph（编辑）：《离散与计算几何手册》（2017）
7. 阿维加德，杰里米；刘易斯，罗伯特Y。；Roux，Cody:实数不等式的启发式证明者（2016）
8. Andreas Baechle，Leo Margolis:帮助——整群环中扭转单元的间隙包（2015）阿尔十四
9. 萨瓦尼，拉胡尔；von Stengel，Bernhard：《博弈论探索者：应用博弈理论家软件》（2015）
10. 阿维加德，杰里米；刘易斯，罗伯特Y。；Roux，Cody:实数不等式的启发式证明（2014）
11. 阿维斯，大卫；Roumanis，Gary:\textitlrsvertex枚举代码的可移植并行实现（2013）
12. 乔斯维格，迈克尔；Theobald，Thorsten:计算几何中的多面体和代数方法（2013）
13. 马丁内特，雅克；舒曼，阿奇尔：格中最小向量的基。三、 （2012年）
14. 阿维斯，大卫；罗森博格，加布里埃尔D。；萨瓦尼，拉胡尔；von Stengel，Bernhard:两人博弈的纳什均衡计数（2010）
15. 竹村，秋米町；Yoshida，Ruriko:整数线性不可行问题的推广（2008）
16. 克鲁泽，马克西米利安；Skarke，Harald:用于分析格点多面体及其在复曲面几何中的应用的软件包（2004）
17. Emiris，Ioannis Z.：在Minkowski和中枚举整数点的子集（2002）
18. 盖瑞洛，Ewgenij；Joswig，Michael:polymake：计算几何中的模块化软件设计方法（2001）
19. 里德，莱斯；Roberts，Leslie G.：任意维的单项子环（2001）
20. 大卫阿维斯：与（lrs）一起生活（2000）