哈杜，马尔顿;霍佐娃，佩特拉;科瓦茨，劳拉;肖斯沃尔，约翰内斯;沃龙科夫，安德烈 叠加推理中的归纳与泛化。 （英语） Zbl 1455.68248 Benzmüller，Christoph（编辑）等，《智能计算机数学》。第13届国际会议，CICM 2020，意大利贝蒂诺罗，2020年7月26日至31日。诉讼程序。查姆：斯普林格。选择。笔记计算。科学。12236，123-137（2020年）。 摘要：我们描述了在基于叠加的推理中自动归纳的一个扩展，通过加强归纳的性质和归纳应该应用的术语。我们在一阶定理证明器中实现了我们的方法吸血鬼并评估了我们的工作与最先进的推理机自动归纳。我们通过展示自然数和列表的许多有趣的数学性质可以使用这个扩展自动证明，来证明我们的技术的优势。整个系列请参见[Zbl 1452.68005]. 引用于2文件 理学硕士： 68V15型 定理证明（自动和交互式定理证明程序、演绎、解析等） 软件：SMT-LIB公司;吸血鬼;芝诺;HipSpec公司;伊曼德拉;阿凡达;StarExec公司 PDF格式 BibTeX公司 XML 引用 \texttit{M.Hajdú}等人，选择。笔记计算。科学。12236，123--137（2020年；Zbl 1455.68248） 全文： 内政部 阿尔十四 开放URL