Fixed Points on the Real Numbers without the Equality Test

DOI10.1016/S1571-0661(04)80382-7zbMath1261.03165OpenAlexW1999635557MaRDI QIDQ4916187

Margarita Korovina

Publication date: 19 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80382-7

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Fixed-point theorems (47H10) Computation over the reals, computable analysis (03D78)

Cites Work

• Computational complexity of real functions
• On the definitions of computable real continuous functions
• Abstract First Order Computability. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Fixed Points on the Real Numbers without the Equality Test