Program extraction in exact real arithmetic (Q5740678): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with infinite objects
@@ Property / cites work: Computing with infinite objects / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of the segment points transformation
@@ Property / cites work: Theory of the segment points transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs and Computations
@@ Property / cites work: Proofs and Computations / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs, Programs, Processes
@@ Property / cites work: Proofs, Programs, Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability interpretation of proofs in constructive analysis
+Normal rank
@@ Property / cites work @@
+A certified, corecursive implementation of exact real numbers
+Normal rank
@@ Property / cites work @@
+From Coinductive Proofs to Exact Real Arithmetic
@@ Property / cites work: From Coinductive Proofs to Exact Real Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+Term rewriting for normalization by evaluation.
@@ Property / cites work: Term rewriting for normalization by evaluation. / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129513000327
+Normal rank
@@ Property / OpenAlex ID @@
+W2144130305
@@ Property / OpenAlex ID: W2144130305 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740678