埃利扎尔德 swMATH ID: 7578 软件作者： 安德鲁·巴克斯特；Brian Nakamura；多龙·泽尔伯格 描述： 连续双类枚举定理和证明的自动生成本文描述了两种互补的枚举方法，正枚举和负枚举，每种方法都有其优点和缺点。这两种方法都易于自动化，我们将其应用于当前活跃的分区，该分区由Sergi Elizalde和Marc Noy于2003年发起，用于枚举排列中的连续Wilf类（即连续模式避免）。 主页： http://www.math.rutgers.edu/~zeilberg/tokhniot/ELIZALDE公司 依赖项： 枫树 关键词： 自动枚举；连续图案避免 相关软件： 塞尔吉；CAV汽车；GJsqfree公司；GJ系列；GJSAW公司；SPGJ公司；SYMGJ公司；毛毯；JODO公司；戴维_安；NAIVE公司；卡玛兹维奥特；组织环境信息系统；枫树；ROTA公司；SiPerUGJ公司；SymUGJ公司；UGJ公司；扶轮斯坦利；ZOO（动物园） 引用于： 6文件 全部的 前5名10位作者引用 2 塞尔吉·埃利扎尔德 2 多龙·泽尔伯格 1 安德鲁·巴克斯特。 1 弗拉基米尔·维克托洛维奇·多森科 1 理查德·埃伦堡 1 Jiyoon Jung 1 安东·霍罗什金 1 布莱恩·纳卡穆拉 1 不，马克 1 杨明嘉 4篇连载文章中引用 2 应用数学进展 1 伦敦数学学会会刊。第三系列 1 代数组合数学杂志 1 代数与数论 全部的 前5名在6个字段中引用 6 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 范畴理论；同调代数（18-XX） 1 积分方程（45-XX） 1 计算机科学（68至XX） 按年份列出的引文