Scientific computing, scientific software

Algorithms for the Satisfiability Problem

Gu, Jun
Purdom, Paul W.
Franco, John
(+ 1 other)
Published: Not yet published - available from January 2025

Introduction to Parallel Programming

textbook

Kumar, Subodh
Published: January 2023Published: July 2022

Acta Numerica 2022

Arnold, Douglas
Published: July 2022
Volume 31

Programming in Parallel with CUDA

A Practical Guide

Ansorge, Richard
Published: June 2022Published: May 2022

The Student's Introduction to Mathematica and the Wolfram Language

Torrence, Bruce F.
Torrence, Eve A.
Published: May 2019Published: May 2019
3rd Edition

Understanding Maple

Thompson, Ian
Published: November 2016Published: November 2016

Essentials of Programming in Mathematica®

Wellin, Paul
Published: December 2015Published: May 2016

Scientific Software Design

The Object-Oriented Way

Rouson, Damian
Xia, Jim
Xu, Xiaofeng
Published: March 2014Published: June 2011Published: May 2011

The Seismic Analysis Code

A Primer and User's Guide

textbook

Helffrich, George
Wookey, James
Bastow, Ian
Published: September 2013Published: September 2013Published: No date available

Programming with Mathematica®

An Introduction

Wellin, Paul
Published: January 2013Published: March 2013

(1 reviews)

Data-Intensive Computing

Architectures, Algorithms, and Applications

Gorton, Ian
Gracio, Deborah K.
Published: December 2012Published: November 2012

Foundations of Computational Mathematics, Budapest 2011

Cucker, Felipe
Krick, Teresa
Pinkus, Allan
(+ 1 other)
Published: November 2012Published: February 2013

Modern Fortran in Practice

Markus, Arjen
Published: August 2012Published: August 2012Published: June 2012

Modern Fortran

Style and Usage

Clerman, Norman S.
Spector, Walter
Published: February 2012Published: February 2012Published: February 2012

Acta Numerica 2005

Iserles, Arieh
Published: August 2011
Volume 14

Acta Numerica 2006

Iserles, Arieh
Published: August 2011
Volume 15

Acta Numerica 2007

Iserles, Arieh
Published: August 2011Published: August 2007
Volume 16

The Elements of MATLAB Style

Johnson, Richard K.
Published: March 2011Published: March 2011

Verification and Validation in Scientific Computing

Oberkampf, William L.
Roy, Christopher J.
Published: October 2010Published: November 2010

Finite Precision Number Systems and Arithmetic

Kornerup, Peter
Matula, David W.
Published: September 2010Published: June 2013