并行计算热带流行

@文章{Jensen2017ComputingTP，title={并行计算热带流行}，author={安德斯·内德加德·詹森（Anders Nedergaard Jensen）、杰夫·索马斯（Jeff Sommars）和简·弗舍尔德（Jan Verschelde）}，journal={并行符号计算国际研讨会论文集}，年份={2017年}，url={https://api.semanticscholar.org/CorpusID:598740}}
这项工作提出了一种动态枚举的并行实现，它应用了线程安全的Parma多面体库（PPL），与GNU多精度算法库（GMP）进行精确运算，并辅以TCMalloc的快速内存分配。
ACM上的视图
[PDF]语义阅读器
7引文
背景引文
1
方法引文
三

本文图表

询问这篇论文
贝塔
AI供电

我们的系统试图限制本文中找到的信息。结果质量可能有所不同。了解更多信息关于我们如何产生这些答案。

7引文

热带品种及其正部分和热带格拉斯曼人的大规模并行计算

摘要：我们提出了一个大规模并行框架，用于计算代数变种的热带化，该框架可以使用工作流管理系统GPI-Space和…

热带变种及其正部分和热带格拉斯曼变种的大规模并行计算

计算多项式同伦幂级数解的Gauss-Newton方法

用降维法计算德累斯顿

摘要我们使用Dress和Wenzel的初始拟阵来研究拟阵的Dressian。这些对应于拟阵多面体的规则拟阵细分中的单元。一种有效的算法…

多项式方程热带缺陷的检测

介绍了热带缺陷的概念，多项式方程组不是热带基的证明，以及在零集的互补维仿射空间中寻找它们的两个算法。

多项式方程热带缺陷的检测

我们引入了热带缺陷的概念，证明了多项式方程组不是热带基，并提供了两种在互补仿射空间中寻找它们的算法…

关于热带超曲面的交点和稳定交点

我们证明了热带超曲面交集的每个连通分量都包含其稳定交集的一个点，除非其稳定交点为空。这是通过学习实现的…

33参考文献

算法795:PHCpack：基于同伦延拓的多项式系统通用求解器

描述了PHC软件包的结构和设计，该软件包的工具中有多种根计算方法，并由gnu-ada编译器保证。

通过窃取工作调度多线程计算

本文给出了第一个可证明是好的具有依赖性的多线程计算工作密封调度器，并证明了使用该工作在P处理器上执行完全严格计算的期望时间T/sub-P/=O（T/sub-1//P+T/sub/spl-infin//），其中T/sub 1/是多次读取计算的最小串行执行时间，T/

在查询积分时间内计算混合体积和所有混合单元

本文介绍了一种几何算法：根据一些几何不变量，其复杂性在平均值和概率一设置中有界：与每个多项式支持的凸包元组相关联的quermastintegrals。

数学与计算科学

    计算机科学、数学
  • 2006

Parma多面体库：为硬件和软件系统的分析和验证提供一整套数值抽象

牛顿多面体前向性的剪枝算法

提出了一种水平和垂直修剪牛顿多边形元组边缘树的新算法，并在Sage中的初步实现表明，该算法优于定义算法。

精确混合体积计算的实现

提出了一种基于热带同伦延拓的新算法的实现，这是一种利用数值代数几何思想的组合过程。

逼近多面体体积的有效随机遍历方法

这项工作实施并评估了实用的随机算法，以准确近似高维多面体的体积，并为Birkhoff多面体B11、…、B15提供了体积近似，而精确方法仅计算了B10的体积。

由预言定义的多面体的有效边骨架计算

多面体讲座

这些讲座基于柏林理工大学的研究生课程，提供了大量关于现代凸多面体理论的材料。清晰明了…