寻找插值器的非二进制方法：理论与实践
数论
2026-03-18 v1
摘要
我们描述了一种用于寻找经典逻辑插值器的新方法，即以某些反证系统为起点。反证可被视为形式系统分析的替代方法：它不聚焦于哪些公式可被证明属于给定逻辑，而是显示哪些公式应被拒绝。因此，它提供了一个镜像证明系统。事实证明，这种方法的优势远超反证计算本身。我们以插值器搜索方法为例加以说明。当然，已有许多此类方法。我们提议的新颖之处在于，它可以视为基于非二进制解决的。
引用
@article{arxiv.2603.15875,
title = {Galois groups of reciprocal polynomials II: Twisted reciprocal polynomials},
author = {Theresa C. Anderson and Evan M. O'Dorney},
journal= {arXiv preprint arXiv:2603.15875},
year = {2026}
}
备注
10 pages, a sequel to arxiv:2406.18970