The self-validating numerical method-A new tool for computer assisted proofs of nonlinear problems
The self-validating numerical method-A new tool for computer assisted proofs of nonlinear problems
复制标题
自验证数值方法——计算机辅助证明非线性问题的新工具
DOI：
10.1007/978-3-0348-8268-2_8
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
S. Oishi
中科院分区：
文献类型：
--
作者：
S. Oishi
在对数纸上，某些真实的代数曲线看起来像光滑的折线。此外，可以获得虚线作为这些曲线的界限。相应的变形可以被看作是量子化，其中虚线是经典对象，曲线是量子的。这推广到一个新的连接代数几何和几何的多面体，这是更直接的比其他已知的连接，并给出了一个新的洞察结构中使用的拓扑结构的真实的代数簇。
On logarithmic paper some real algebraic curves look like smoothed broken lines. Moreover, the broken lines can be obtained as limits of those curves. The corresponding deformation can be viewed as a quantization, in which the broken line is a classical object and the curves are quantum. This generalizes to a new connection between algebraic geometry and the geometry of polyhedra, which is more straight-forward than the other known connections and gives a new insight into constructions used in the topology of real algebraic varieties.