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

Source URL: www.lix.polytechnique.fr

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

3 Designing SLATE SLATE: Software for Linear Algebra Targeting Exascale Jakub Kurzak Panruo Wu

Source URL: www.icl.utk.edu

• Numerical software
• Numerical analysis
• Numerical linear algebra
• Mathematical software
• Computing
• LAPACK
• Basic Linear Algebra Subprograms
• Math Kernel Library
• OpenMP
• Graphics processing unit
• Cholesky decomposition
• Tile

Caio Romão, Software Engineer https://caio.co https://github.com/caio My name is Caio (pronounce it like KAH-Yo). I’m a software engineer with a keen interest in

Source URL: caio.co

• Computing
• Technology
• Information and communications technology
• Computer programmers
• Software engineer
• Software engineering
• IBM
• Programmer

PDF Document

Source URL: www.nesting-software.com

PDF Document

Source URL: www.chemistry-software.com

PDF Document

Source URL: dr-software.com

PDF Document

Source URL: www.chemistry-software.com

PDF Document

Source URL: www.amt-software.com

PDF Document

Source URL: www.nesting-software.com

PDF Document

Source URL: pfmabe.software