Lookahead analysis in exact real arithmetic with logical methods

DOI10.1016/J.TCS.2022.10.003OpenAlexW4304084005MaRDI QIDQ2680994

Nils Köpp, Helmut Schwichtenberg

Publication date: 5 January 2023

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.10.003

zbMATH Keywords

realizabilityprogram extractionlookaheadexact real number computationminlogsigned digit code

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• From coinductive proofs to exact real arithmetic: theory and applications
• Proofs and Computations
• Logic for Gray-code Computation
• Program extraction in exact real arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lookahead analysis in exact real arithmetic with logical methods