Semantics of (numeric) computations - Githubissues

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

28 stars 9 forks source link

Semantics of (numeric) computations #119

Open lgeretti opened 6 years ago

lgeretti commented 6 years ago

Originally reported by Pieter Collins (Bitbucket: pietercollins, GitHub: pietercollins)

We need to discuss and (if possible) finalise the exact semantics of computations. In particular:

Is the distinction between Real and Number really needed? [Preferably not]
What data is necessary for converting [(Symbolic)Real <-> ] (Effective)Real -> ValidatedReal?
What data is necessary for converting ValidatedReal -> Bounds/Ball ?

Bitbucket: https://bitbucket.org/ariadne-cps/development/issue/119

lgeretti commented 6 years ago

Ok we will do this as soon as possible. In the meantime, what is the most updated documentation we have on the various distinctions? It's not the first time you explain them to me but I always forget some details.