我们描述了不动点存在性的计算机辅助证明$\mathrm{<trans\; data-src="\phi ">\phi </trans>}$平面面积保护图的加倍变换（功能合成）：$\mathrm{<trans\; data-src="\phi ">\phi </trans>}$从溶液中获得$\mathrm{<trans\; data-src="S">S公司</trans>}$不动点方程$\mathcal{<trans\; data-src="R">R（右）</trans>}\mathrm{<trans\; data-src="S">S公司</trans>}<trans\; data-src="=">=</trans>\mathrm{<trans\; data-src="S">S公司</trans>}$用于生成区域保护地图的功能。这为保守的二维系统建立了费根鲍姆普适性的一个重要组成部分，数学严谨。

• 1982年2月4日收到

内政部：https://doi.org/10.103/PhysRevA.26.720