拿铁

多面体(格子)计数软件是专门用来计算格子内点和凸点的。LattE包含了Barvinok算法的第一个实现。LattE macchiato版本(M.Köppe)包含了基本的改进和加速。多项式函数的最新版本,特别是现在计算多项式积分的能力。

ORMS中也引用了该软件。


zbMATH中的参考文献,2标准条款)

显示第1到第20个结果,共110个。
按年份排序(引文)
  1. El Ouafdi,Abdelhalim;Lepelley,Dominique;Smaoui,Hatem:选举结果的概率:从三个候选人到四个候选人的选举(2020年)
  2. Bruns,Winfried;Ichim,Bogdan;Söger,Christof:四位候选人选举中的数量和Ehrhart系列计算(2019年)
  3. Morettin,Paolo;Passerini,Andrea;Sebastiani,Roberto:加权模型集成的高级SMT技术(2019年)
  4. 马尔可夫链的定量分析(Abdonotine,2019年)
  5. Szlobodnyik,Gergely;Szederkényi,Gábor:遵守守恒定律的低阶离散状态反应网络的可达性分析(2019)
  6. Baldoni,V.;Vergne,M.;Walter,M.:扩张Kronecker系数的计算(2018年)
  7. Berg,Sören;Jochemko,Katharina;Silverstein,劳拉:Ehrhart张量多项式(2018)
  8. 戴维斯,罗伯特;萨根,布鲁斯:模式避免多面体(2018)
  9. 高伟;吕恒义;张强;蔡敦波:用平直方图法估计SMT(LIA)约束解空间的体积(2018)
  10. García-García,J.I.;Marín-Aragon,D.;Vigneron Tenorio,a.:Wilf猜想对仿射半群的推广(2018)
  11. 葛存晶;马飞飞;张鹏;张健:计算和估计SMT(LA)约束解空间的体积(2018)
  12. Kahle,David;Yoshida,Ruriko;Garcia Puente,Luis:离散指数族中精确条件推理的混合方案(2018)
  13. Kaniovski,Serguei;Kurz,Sascha:代表性兼容功率指数(2018)
  14. Kaniovski,Serguei;Zaigraev,Alexander:三州两阶段投票系统中的多数倒挂概率(2018)
  15. Nguyen,Danny;Pak,Igor:列举无界多面体中整数点的投影(2018)
  16. 阿萨尔夫,本杰明;盖瑞洛,Ewgenij;赫尔,卡特林;乔斯维格,迈克尔;洛伦兹,本杰明;帕芬霍尔兹,安德烈亚斯;雷恩,托马斯:用\texttpolymake计算凸包壳和计算整数点(2017)
  17. Breuer,Felix;Zafeirakopoulos,Zafeirakis:多面体Ω:求解线性丢番图系统的新算法(2017)
  18. Pak,Igor;Panova,Greta:关于计算Kronecker系数的复杂性(2017)
  19. Richter,Wolf Dieter;Schicker,Kay:多面体星形分布(2017)
  20. Rossmann,Tobias:计算群、代数和模的zeta函数的框架(2017)