拿铁

LattE(Lattice point Enumeration)是一个计算机软件,专门用于计算格点和凸多面体内部的积分问题。LattE包含了Barvinok算法的第一个实现。LattE macchiato版本(M.Köppe)包含了基本的改进和加速。现在最新版本的LattE积分,可以直接计算多面体上多项式函数的积分,特别是体积计算。

ORMS中也引用了该软件。


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

显示第1到第20个结果。
按年份排序(引用)
  1. Bertsimas,Dimitris;Sturt,Bradley:精确引导置信区间的计算:复杂性和确定性算法(2020)
  2. Chin,Eric B.;Sukumar,N.:多面体和曲面实体上多项式积分的有效方法(2020)
  3. Desavo,Stephen;Zhao,James:通过概率分治法随机抽样列联表(2020)
  4. El Ouafdi,Abdelhalim;Lepelley,Dominique;Smaoui,Hatem:选举结果的概率:从三个候选人到四个候选人的选举(2020年)
  5. Hirai,Hiroshi;Oshiro,Ryunosuke;Tanaka,Ken'ichiro:通过等高线积分的数值分析计算多面体中的积分点(2020)
  6. Bruns,Winfried;Ichim,Bogdan;Söger,Christof:四位候选人选举中的数量和Ehrhart系列计算(2019年)
  7. Morettin,Paolo;Passerini,Andrea;Sebastiani,Roberto:加权模型集成的高级SMT技术(2019年)
  8. Ouadjaout,Abdelraouf;Miné,Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019年)
  9. Szlobodnyik,Gergely;Szederkényi,Gábor:遵守守恒定律的低阶离散状态反应网络的可达性分析(2019)
  10. Baldoni,V.;Vergne,M.;Walter,M.:扩张Kronecker系数的计算(2018年)
  11. Berg,Sören;Jochemko,Katharina;Silverstein,劳拉:Ehrhart张量多项式(2018)
  12. 戴维斯,罗伯特;萨根,布鲁斯:模式避免多面体(2018)
  13. 高伟;吕恒义;张强;蔡敦波:用平直方图法估计SMT(LIA)约束解空间的体积(2018)
  14. García-García,J.I.;Marín-Aragon,D.;Vigneron Tenorio,a.:Wilf猜想对仿射半群的推广(2018)
  15. 葛存晶;马飞飞;张鹏;张健:计算和估计SMT(LA)约束解空间的体积(2018)
  16. Kahle,David;Yoshida,Ruriko;Garcia Puente,Luis:离散指数族中精确条件推理的混合方案(2018)
  17. Kaniovski,Serguei;Kurz,Sascha:代表性兼容功率指数(2018)
  18. Kaniovski,Serguei;Zaigraev,Alexander:三州两阶段投票系统中的多数倒挂概率(2018)
  19. Nguyen,Danny;Pak,Igor:列举无界多面体中整数点的投影(2018)
  20. 阿萨尔夫,本杰明;盖瑞洛,Ewgenij;赫尔,卡特林;乔斯维格,迈克尔;洛伦兹,本杰明;帕芬霍尔兹,安德烈亚斯;雷恩,托马斯:用\texttpolymake计算凸包壳和计算整数点(2017)