scientific article; zbMATH DE number 7350773

MaRDI QIDQ4989402

Helmut Schwichtenberg, Franziskus Wiesnet

Publication date: 25 May 2021

Full work available at URL: https://arxiv.org/abs/1904.12763

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

realizabilityprogram extractionreal number computationcorecursioninductive and coinductive definitionssigned digit code

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Limits of real numbers in the binary signed digit representation ⋮ Lookahead analysis in exact real arithmetic with logical methods

Cites Work

• A certified, corecursive implementation of exact real numbers
• Zur Deutung der intuitionistischen Logik
• Real number computation through Gray code embedding.
• An abstract data type for real numbers
• Proofs and Computations
• From Coinductive Proofs to Exact Real Arithmetic
• Logic for Gray-code Computation
• Program extraction in exact real arithmetic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: