马尔顿哈杜;佩特拉·霍佐娃;劳拉·科瓦奇;约翰·肖斯·沃尔(Johannes Schoisswohl);安德烈·沃伦科夫 叠加推理中的归纳和泛化。 (英语) Zbl 1455.68248号 Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 123-137 (2020). 小结:我们描述了在基于叠加的推理中自动归纳的一种扩展,通过加强归纳属性和推广归纳应用的术语。我们在一阶定理证明器中实现了我们的方法吸血鬼并根据最先进的自动归纳推理机评估了我们的工作。我们通过展示自然数和列表的许多有趣的数学特性来展示我们的技术的优势,这些特性可以使用此扩展自动证明。关于整个系列,请参见[兹比尔1452.68005]. 引用于7文件 MSC公司: 68伏15 定理证明(自动和交互式定理证明、演绎、解析等) 软件:阿凡达;VAMPIRE公司;SMT-LIB公司;StarExec公司;HipSpec(髋关节规范);芝诺牌手表;伊曼德拉 PDF格式BibTeX公司 XML格式引用 \textit{M.Hajdú}等人,莱克特。注释计算。科学。12236,123-137(2020;Zbl 1455.68248) 全文: 内政部 arXiv公司