<--- Back to Details
First PageDocument Content
Software / Mathematical software / Application software / Numerical software / Numerical linear algebra / Array programming languages / Econometrics software / ScaLAPACK / PBLAS / LAPACK / Basic Linear Algebra Subprograms / MATLAB
Date: 2006-10-18 14:13:23
Software
Mathematical software
Application software
Numerical software
Numerical linear algebra
Array programming languages
Econometrics software
ScaLAPACK
PBLAS
LAPACK
Basic Linear Algebra Subprograms
MATLAB

Microsoft PowerPoint - lacsi-sans-1006

Add to Reading List

Source URL: www.cs.rice.edu

Download Document from Source Website

File Size: 814,73 KB

Share Document on Facebook

Similar Documents

Economy / Computational science / Numerical analysis / Computer science / Validation / Electromagnetism / Quantitative analyst / Business

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

DocID: 1xVB4 - View Document

Computing / Computational science / Software engineering / Applied mathematics / Numerical analysis / Alternatives to animal testing / Computer simulation / Scientific modeling / Virtual reality / Numerical modeling / Simulation / Numerical stability

Numerical quality: an industrial case study on code_aster Numerical Software Verication

DocID: 1xUDq - View Document

Theoretical computer science / Formal methods / French Institute for Research in Computer Science and Automation / Computer science / Verification / Formal verification / Software verification / Mathematics / Cognitive science

Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France

DocID: 1xT6j - View Document

Downloaded by [the Bodleian Libraries of the University of Oxford] at 00:41 03 NovemberOptimization Methods & Software iFirst, 2011, 1–23 Evaluation complexity of adaptive cubic regularization methods

DocID: 1vlOh - View Document

User’s Manual for SyGRD (System of Graph Reading and numerical data Displaying with image analysis software) Version 2.00 Ohmi, Hirokazu and JCPRG October 12, 2001 Revised March 9, 2002

DocID: 1vk0v - View Document