Interval package: Difference between revisions

m
→‎VERSOFT: added links to papers
m (→‎VERSOFT: added link to isspd algorithm (non-interval variant))
m (→‎VERSOFT: added links to papers)
Line 387: Line 387:
|verregsing
|verregsing
|style="color:red"| trapped
|style="color:red"| trapped
| dependency <code>verifylss</code> is implemented as <code>mldivide</code>; depends on <code>isspd</code> (by Rump, to be checked) and <code style="color:red">verintervalhull</code>
| dependency <code>verifylss</code> is implemented as <code>mldivide</code>; depends on <code>isspd</code> (by Rump, to be checked) and <code style="color:red">verintervalhull</code>; see also [http://uivtx.cs.cas.cz/~rohn/publist/singreg.pdf]
|-
|-
|colspan="3"|Interval (or real) data: Matrices: Eigenvalues and singular values
|colspan="3"|Interval (or real) data: Matrices: Eigenvalues and singular values
Line 436: Line 436:
|verintervalhull
|verintervalhull
|style="color:red"| encrypted
|style="color:red"| encrypted
| implemented in p-coded <code>intervalhull</code>
| implemented in p-coded <code>intervalhull</code> (find algorithm in [http://uivtx.cs.cas.cz/~rohn/publist/intervalhull.pdf])
|-
|-
|colspan="3"|Interval (or real) data: Linear systems (rectangular)
|colspan="3"|Interval (or real) data: Linear systems (rectangular)
Line 463: Line 463:
| verabsvaleqn
| verabsvaleqn
|style="color:red"| trapped
|style="color:red"| trapped
| main part implemented in p-coded <code>ek</code>
| main part implemented in p-coded <code>ek</code> (find algorithm in [http://uivtx.cs.cas.cz/~rohn/publist/signaccalg.pdf], improved version in [http://uivtx.cs.cas.cz/~rohn/publist/absvaleqnreport.pdf])
|-
|-
| verabsvaleqnall
| verabsvaleqnall
|style="color:red"| trapped
|style="color:red"| trapped
| depends on <code style="color:red">verabsvaleqn</code>
| depends on <code style="color:red">verabsvaleqn</code>, see also [http://uivtx.cs.cas.cz/~rohn/publist/absvaleqnall.pdf]
|-
|-
| verbasintnpprob
| verbasintnpprob
240

edits