A Java/Scala library for computing with Dedekind Reals, based on Marshall.
The project is build using maven, and developed in Scala IDE (Eclipse).
- Marshall
- MarshallB
- Abstract Stone Duality (ASD)
- Dedekind reals in ASD
- Efficient computations with Dedekind reals
A good starting point is Examples.scala
- Install Scala IDE
- Clone the project
- Run Examples.scala
- Check the examples
- Floats module
- Intervals module
- Approximations Simple module
- Approximations Newton module