大卫·阿维斯 与\（lrs\）一起生活。 （英语） Zbl 0971.68613号 Akiyama，Jin（编辑）等人，《离散和计算几何》。日本会议，98年JCDCG。1998年12月9日至12日，日本东京。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。1763年，47-56页（2000年）。 摘要：本文描述了对凸多面体的顶点枚举/凸壳问题的反向搜索方法的一种实现-（lrs）的发展。我们描述了一类重要而困难的多面体，称为配置多面体，它可用于确定合金相图的基态。在尝试解决这些问题时获得的经验导致了对原始实现的一些改进。有关整个系列，请参见[Zbl 0933.00046号]. 引用于1文件 MSC公司： 68单位99 计算方法和应用 68单位05 计算机图形；计算几何（数字和算法方面） 关键词：实施;反向搜索法;顶点枚举/凸壳问题;凸多面体;配置多边形 软件：lrs公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Avis}，莱克特。注释计算。科学。1763、47-56（2000年；Zbl 0971.68613）