Comment on Herbie: Automatically improve imprecise floating point formulasComments−fouronnes35moThis is very interesting! I made an interval arithmetic calculator a few months ago [0]. I wonder if you could combine the two techs to make something even more powerful.[0] https://victorpoughon.github.io/interval-calculator/−bhargavkk5moHerbie uses interval arithmetic a lot! The team has a in-house developed interval arithmetic library you can use at: https://crates.io/crates/rival3.
Comments
This is very interesting! I made an interval arithmetic calculator a few months ago [0]. I wonder if you could combine the two techs to make something even more powerful.
[0] https://victorpoughon.github.io/interval-calculator/
Herbie uses interval arithmetic a lot! The team has a in-house developed interval arithmetic library you can use at: https://crates.io/crates/rival3.