A computer verified, monadic, functional implementation of the integral

Details A computer verified, monadic, functional implementation of the integral A computer verified, monadic, functional implementation of the integral

2008-09-08

arxiv.org/abs/0809.1552v2

Theoretical Computer Science, Volume 411, Issue 37, 7 August 2010, Pages 3386-3402

Computer Science

Logic in Computer Science

Scientific paper

10.1016/j.tcs.2010.05.031

We provide a computer verified exact monadic functional implementation of the
Riemann integral in type theory. Together with previous work by O'Connor, this
may be seen as the beginning of the realization of Bishop's vision to use
constructive mathematics as a programming language for exact analysis.

Affiliated with

Also associated with

No associations

Rating

A computer verified, monadic, functional implementation of the integral does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A computer verified, monadic, functional implementation of the integral, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A computer verified, monadic, functional implementation of the integral will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-210719