Coinductive Field of Exact Real Numbers and General Corecursion

From coinductive proofs to exact real arithmetic: theory and applications

Ulrich Berger

January 2011

Based on a new coinductive characterization of continuous functions we extract certified programs fo...

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Krebbers, R.
Parlant, L.
Silva, A.

January 2016

Contains fulltext : 159576.pdf (preprint version ) (Open Access

Constructive analysis, types and exact real numbers (overview article)

Geuvers, Herman
Niqui, Milad
Spitters, Bas
Wiedijk, Freek

January 2007

Contains fulltext : 34987.pdf (publisher's version ) (Open Access

Practical coinduction

Kozen, D.
Martins Da Silva, A.

January 2017

Contains fulltext : 178602.pdf (publisher's version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Coinductive Definitions and Real Numbers BSc Final Year Project Report

Michael Herrmann
Supervisor Dr. Dirk Pattinson
Second Marker
Prof Abbas Edalat

January 2009

Real number computation in modern computers is mostly done via floating point arithmetic which can s...

Coinductive Proof Techniques for Language Equivalence

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111304.pdf (author's version ) (Closed access

Coinduction for Exact Real Number Computation

Ulrich Berger

January 2008

This paper studies coinductive representations of real numbers bysigned digit streams and fast Cauch...

Type classes for efficient exact real arithmetic in Coq

Krebbers, R.J.
Spitters, B.

January 2013

Contains fulltext : 111289.pdf (publisher's version ) (Open Access

Certified Exact Transcendental Real Number Computation in Coq

O'Connor, R.S.S.

January 2008

Contains fulltext : 71921.pdf (preprint version ) (Open Access)21st International ...

Coinductive predicates and final sequences in a fibration

Hasuo, Ichiro
Kataoka, T.
Cho, K.

January 2018

Contains fulltext : 189769.pdf (preprint version ) (Open Access

Newton Series, Coinductively

Basold, H.
Hansen, H.H.
Pin, J.-É.
Rutten, J.

January 2015

Contains fulltext : 147283.pdf (publisher's version ) (Open Access)28 p

Coinductive Field of Exact Real Numbers and General Corecursion

Niqui, Milad

October 2006

AbstractIn this article we present a method to define algebraic structure (field operations) on a re...

A coinductive calculus of binary trees

Silva, A.
Rutten, J.

January 2010

Contains fulltext : 84387.pdf (publisher's version ) (Closed access)6 p

Isometries between valued fields

Beckenstein, E.
Narici, L.
Schikhof, W.H.

January 1997

Contains fulltext : 60087.pdf (publisher's version ) (Closed access)Conferenc

From coinductive proofs to exact real arithmetic: theory and applications

Ulrich Berger

January 2011

Based on a new coinductive characterization of continuous functions we extract certified programs fo...

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Krebbers, R.
Parlant, L.
Silva, A.

January 2016

Contains fulltext : 159576.pdf (preprint version ) (Open Access

Constructive analysis, types and exact real numbers (overview article)

Geuvers, Herman
Niqui, Milad
Spitters, Bas
Wiedijk, Freek

January 2007

Contains fulltext : 34987.pdf (publisher's version ) (Open Access

Practical coinduction

Kozen, D.
Martins Da Silva, A.

January 2017

Contains fulltext : 178602.pdf (publisher's version ) (Closed access

Computing with Classical Real Numbers

Kaliszyk, C.S.
O'Connor, R.S.S.

January 2009

Contains fulltext : 75367.pdf (publisher's version ) (Open Access)14 p

Coinductive Definitions and Real Numbers BSc Final Year Project Report

Michael Herrmann
Supervisor Dr. Dirk Pattinson
Second Marker
Prof Abbas Edalat

January 2009

Real number computation in modern computers is mostly done via floating point arithmetic which can s...

Coinductive Proof Techniques for Language Equivalence

Rot, J.
Bonsangue, M.
Rutten, J.

January 2013

Contains fulltext : 111304.pdf (author's version ) (Closed access

Coinduction for Exact Real Number Computation

Ulrich Berger

January 2008

This paper studies coinductive representations of real numbers bysigned digit streams and fast Cauch...

Type classes for efficient exact real arithmetic in Coq

Krebbers, R.J.
Spitters, B.

January 2013

Contains fulltext : 111289.pdf (publisher's version ) (Open Access

Certified Exact Transcendental Real Number Computation in Coq

O'Connor, R.S.S.

January 2008

Contains fulltext : 71921.pdf (preprint version ) (Open Access)21st International ...

Coinductive predicates and final sequences in a fibration

Hasuo, Ichiro
Kataoka, T.
Cho, K.

January 2018

Contains fulltext : 189769.pdf (preprint version ) (Open Access

Newton Series, Coinductively

Basold, H.
Hansen, H.H.
Pin, J.-É.
Rutten, J.

January 2015

Contains fulltext : 147283.pdf (publisher's version ) (Open Access)28 p

Coinductive Field of Exact Real Numbers and General Corecursion

Niqui, Milad

October 2006

AbstractIn this article we present a method to define algebraic structure (field operations) on a re...

A coinductive calculus of binary trees

Silva, A.
Rutten, J.

January 2010

Contains fulltext : 84387.pdf (publisher's version ) (Closed access)6 p

Isometries between valued fields

Beckenstein, E.
Narici, L.
Schikhof, W.H.

January 1997

Contains fulltext : 60087.pdf (publisher's version ) (Closed access)Conferenc

From coinductive proofs to exact real arithmetic: theory and applications

Ulrich Berger

January 2011

Based on a new coinductive characterization of continuous functions we extract certified programs fo...

Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq

Krebbers, R.
Parlant, L.
Silva, A.

January 2016

Contains fulltext : 159576.pdf (preprint version ) (Open Access

Constructive analysis, types and exact real numbers (overview article)

Geuvers, Herman
Niqui, Milad
Spitters, Bas
Wiedijk, Freek

January 2007

Contains fulltext : 34987.pdf (publisher's version ) (Open Access

Coinductive Field of Exact Real Numbers and General Corecursion

Abstract

Extracted data

Coinductive Field of Exact Real Numbers and General Corecursion

Abstract

Extracted data

Related items

Related items