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

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