低内存数值认证
Low-Memory Numerical Certification
University of Osnabrück（奥斯纳布吕克大学）；Western University（韦仕敦大学）
AI总结：
本文提出一种低内存框架，通过解算迭代器和空间划分树减少多项式系统数值解的内存需求，并在大型示例中展示了内存减少效果。
摘要：
我们介绍了一种低内存框架，用于认证多项式系统数值解，该框架利用解算迭代器和空间划分树来减少内存需求。我们提供了一个原型算法，分析了其复杂度，并在大型示例中展示了内存减少的效果。
英文摘要：
We introduce a low-memory framework for certifying numerical solutions to polynomial systems which uses solution iterators and spatial partitioning trees to reduce memory requirements. We provide a prototypical algorithm, analyze its complexity, and demonstrate the memory reduction on a large example.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
