lrs公司

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