lrs公司

与lrs一起生活。本文介绍了lrs的发展,它是一种求解凸多面体顶点枚举/凸壳问题的反向搜索方法的实现。我们描述了一类重要而困难的多面体,称为构型多面体,它在确定合金相图基态时具有应用价值。在尝试解决这些问题的过程中获得的经验导致了对原始实现的一些改进。


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

显示第1到第20个结果,共21个。
按年份排序(引用)
  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)