Skip to content

Commit

Permalink
On being rigorous (#18)
Browse files Browse the repository at this point in the history 
* Update README.md

Stating clearly that a rigorous implementation is not present yet. See issue #14.

* Update README.md

Reword.
  • Loading branch information
@zomborid
zomborid authored Mar 9, 2020
1 parent 4d9c298 commit 9d0da04
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
[![codecov.io](http://codecov.io/github/dpsanders/AffineArithmetic.jl/coverage.svg?branch=master)](http://codecov.io/github/dpsanders/AffineArithmetic.jl?branch=master)

A pure-Julia implementation of affine arithmetic.
This is a method for rigorously bounding the results of evaluating functions, extending standard interval arithmetic provided in the author's [`ValidatedNumerics.jl` package](https://github.com/dpsanders/ValidatedNumerics.jl).
This is a method for bounding the results of evaluating functions with linear combination of sets. A future goal is to provide a rigorous implementation, extending standard interval arithmetic provided in the author's [`ValidatedNumerics.jl` package](https://github.com/dpsanders/ValidatedNumerics.jl).


## Author
Expand Down

0 comments on commit 9d0da04

Please sign in to comment.