interval arithmetic / ball arithmetic implementation

mentat-collective / emmy

The Emmy Computer Algebra System.

https://emmy.mentat.org

GNU General Public License v3.0

405 stars 24 forks source link

Open sritchie opened 3 years ago

sritchie commented 3 years ago

I saw a reference to "Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic" on hackernews; it would be awesome to get proper interval arithmetic in to sicmutils.

More references:

blog from the author
https://www.texmacs.org/joris/ball/ball.html is a monstrously good resource with tons of background.
existing Clojure impl of interval arithmetic https://github.com/arrdem/imprecise

MagusMachinae commented 3 years ago

This seems interesting, so I wanted to put a pin here to say I'm reading the paper.