拿铁

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

ORMS中也引用了该软件。


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

显示124个结果中的1到20个。
按年份排序(引用)

1 2 ... 5 6 7 下一个

  1. 艾利耶夫,伊斯坎德尔;阿维科夫,根纳迪;德洛埃拉,耶稣会。;Oertel,Timm:格和半群中向量的稀疏表示(2022)
  2. 格里巴诺夫,D.V。;左罗提克,N.Yu.:关于(\varDelta)-模多面体的点阵点计数(2022)
  3. 塞门诺夫,S.O。;左罗提克,N.Yu.:如何求多面体中所有整数点的凸壳?(2022年)
  4. Kocuk,Burak:二阶锥的有理多面体外近似(2021)
  5. 莫雷诺马扎,马克;王林晓:参数凸多边形整数壳的伪周期性(2021)
  6. 塞缪尔,特伯;Weigl,Alexander:通过模型计数量化软件可靠性(2021)
  7. 贝尔西马斯,迪米特里斯;Sturt,Bradley:精确引导置信区间的计算:复杂性和确定性算法(2020)
  8. 钱,埃里克B。;Sukumar,N.:多面体和曲面实体上多项式积分的有效方法(2020)
  9. 迪沙沃,斯蒂芬;赵,詹姆斯:通过概率分而治之的列联表随机抽样(2020)
  10. 唐宁,玛拉;莫拉维,阿布丁;Bang,Lucas:符号执行+模型计数+熵最大化=自动搜索合成(2020)
  11. 阿卜杜勒哈利姆,埃尔瓦夫迪;莱普利,多米尼克;斯马维,哈滕:《选举结果的概率:从三个候选人到四个候选人的选举(2020年)
  12. 平井裕史;大岛龙介;Tanaka,Ken'ichiro:通过等高线积分的数值分析计算多面体中的积分点(2020)
  13. 拉梅,卡姆兰;Yassemi,Siamak:良好过滤的分级贝蒂数(2020年)
  14. 布伦斯,温弗里德;伊希姆,博格丹;Söger,Christof:四位候选人选举中的体积和Ehrhart系列计算(2019年)
  15. 莫雷丁,保罗;帕塞里尼,安德里亚;塞巴斯蒂安尼,罗伯托:加权模型集成的先进SMT技术(2019)
  16. 阿卜杜勒拉乌夫;Miné,Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019)
  17. 斯洛波德尼克,盖里;Szederkényi,Gábor:遵守守恒定律的低阶离散状态反应网络的可达性分析(2019)
  18. 巴尔多尼,V。;维涅,M。;Walter,M.:扩张Kronecker系数的计算(2018年)
  19. 贝格,舍伦;乔琴科,凯瑟琳;劳拉·西尔弗斯坦:厄尔哈特张量多项式(2018)
  20. 戴维斯,罗伯特;萨根,布鲁斯:避免多面体的模式(2018)

1 2 ... 5 6 7 下一个