拿铁

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

ORMS中也引用了该软件。


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

显示116个结果中的1到20个。
按年份排序(引用)
  1. 贝尔西马斯,迪米特里斯;Sturt,Bradley:精确引导置信区间的计算:复杂性和确定性算法(2020)
  2. 钱,埃里克B。;Sukumar,N.:多面体和曲面实体上多项式积分的有效方法(2020)
  3. 迪沙沃,斯蒂芬;赵,詹姆斯:通过概率分而治之的列联表随机抽样(2020)
  4. 阿卜杜勒哈利姆,埃尔瓦夫迪;莱普利,多米尼克;斯马维,哈滕:《选举结果的概率:从三个候选人到四个候选人的选举(2020年)
  5. 平井裕史;大岛龙介;Tanaka,Ken'ichiro:通过等高线积分的数值分析计算多面体中的积分点(2020)
  6. 拉梅,卡姆兰;Yassemi,Siamak:良好过滤的分级贝蒂数(2020年)
  7. 布伦斯,温弗里德;伊希姆,博格丹;Söger,Christof:四位候选人选举中的体积和Ehrhart系列计算(2019年)
  8. 莫雷丁,保罗;帕塞里尼,安德里亚;塞巴斯蒂安尼,罗伯托:加权模型集成的先进SMT技术(2019)
  9. 阿卜杜勒拉乌夫;Miné,Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019)
  10. 斯洛波德尼克,盖里;Szederkényi,Gábor:遵守守恒定律的低阶离散状态反应网络的可达性分析(2019)
  11. 巴尔多尼,V。;维涅,M。;Walter,M.:扩张Kronecker系数的计算(2018年)
  12. 贝格,舍伦;乔琴科,凯瑟琳;劳拉·西尔弗斯坦:厄尔哈特张量多项式(2018)
  13. 戴维斯,罗伯特;萨根,布鲁斯:避免多面体的模式(2018)
  14. 高伟;吕恒义;张强;蔡敦波:用平直方图法估计SMT(LIA)约束解空间的体积(2018)
  15. 加西亚-加西亚,J.I。;马林-阿拉贡,D。;Vigneron Tenorio,A.:Wilf猜想对仿射半群的推广(2018)
  16. 葛存菁;妈妈,菲菲;张鹏;张健:SMT(LA)约束解空间的计算与估计(2018)
  17. 卡勒,大卫;吉田,鲁里子;Garcia Puente,Luis:离散指数族中精确条件推理的混合方案(2018)
  18. 卡尼奥夫斯基_ , _塞尔盖_ ;_2018年库尔兹电力兼容指数(2018年)
  19. 卡尼奥夫斯基,塞尔盖;Zaigraev,Alexander:三州两阶段投票系统中的多数倒挂概率(2018)
  20. 阮,丹尼;Pak,Igor:列举无界多面体中整数点的投影(2018)