加载中…
2017-11-11
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis
Małgorzata MoczuradPiotr Zgliczyński
文献摘要
Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本