31.01.2014 Views

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

Version 5.0 The LEDA User Manual

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

distinct representatives and linear algebra, Journal of Research of the Bureau of National<br />

Standards, (B), 71, 241 - 245). Most functions of linear algebra are checkable , i.e., the<br />

programs can be asked for a proof that their output is correct. For example, if the linear<br />

system solver declares a linear system Ax = b unsolvable it also returns a vector c such<br />

that c T A = 0 and c T b ≠ 0.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!