Some undecidable problems involving elementary functions of a real variable 论文

1969Journal of Symbolic Logic引用 257
DOI
Advanced Algebra and LogicNumerical Methods and AlgorithmsPolynomial and algebraic computation
Numerical Methods and AlgorithmsPolynomial and algebraic computationAdvanced Algebra and Logic
相关技术:Numerical Methods and Algorithms
关系图谱

Some undecidable problems involving elementary functions of a real variable · 作者

D

Daniel Richardson