Boost logo

Boost :

Subject: Re: [boost] Google Summer of Code with Boost
From: Damian Vicino (damian_at_[hidden])
Date: 2018-01-20 17:13:10


Hi David,
I wonder if there would be any interest in a Computable Reals Library?
I think it will be a great addition for scientific calculations.

The general idea is representing a number by an algorithm with random
access to its digits, passing around the number and lazy accessing its
digits to answer predicates.
A good reference would be the Computable Calculus book by Oliver Aberth,
and a good use case would be on Discrete-Event Simulators.

If there is interest, I can make a proposal for it.
To scope it to something achievable in a GSOC, I would only propose to
implement operators +, -, *, /, =, !=, <, and make proper documentation.
The implementation should follow the algorithms proposed Aberth's book
chapters 1 and 2.

Book for ref:
-
https://www.elsevier.com/books/computable-calculus/aberth/978-0-08-050247-2
-
https://books.google.ca/books?id=sDp0enu9iEUC&pg=PR4&lpg=PR4&dq=computable+calculus+library&source=bl&ots=I7MBVJZhEw&sig=b3ajmVjm74AATu4XhOEoXRCSbWw&hl=en&sa=X&ved=0ahUKEwix1Mqfg-fYAhWi7YMKHcbzB2QQ6AEIVTAH#v=onepage&q&f=false

Best regards,
Damian Vicino

2018-01-20 11:47 GMT-05:00 David Bellot via Boost <boost_at_[hidden]>:

> ​Hi everyone,
>
> still a few days before we submit our proposal to Google. Don't loose the
> chance to become a mentor for Boost. It shines on your CV, it is a great
> opportunity to work with brilliant students around the world, it makes you
> an official C++ world-wide expert​.
>
> So far, we have a nice but little list of proposals here:
> https://github.com/boostorg/boost/wiki/Boost-Google-Summer-of-Code-2018
>
> It would be good to have a bit more before I go and submit to Google. This
> will increase our chances to be selected again this year. For Boost it's a
> great funding worth several thousand of dollars every year. We just don't
> want to miss it.
>
> Best regards,
> David
>
> _______________________________________________
> Unsubscribe & other changes: http://lists.boost.org/
> mailman/listinfo.cgi/boost
>


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk