Paper VIIIReferences

References

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Resources & source

Entries follow the retained bibliography source. Citation keys keep references stable without relying on older generated bibliography numbering. These links do not establish what a cited source proves.

Bellman1957

Author
Richard Bellman
Title
Dynamic Programming
Publisher
Princeton University Press
Address
Princeton, NJ
Year
1957

Original bibliography entry · Permalink

Cited in this paper (1 passage)

GolubVanLoan2013

Author
Gene H. Golub and Charles F. Van Loan
Title
Matrix Computations
Edition
Fourth
Publisher
Johns Hopkins University Press
Address
Baltimore, MD
Year
2013

Original bibliography entry · Permalink

Cited in this paper (2 passages)

Higham2002

Author
Nicholas J. Higham
Title
Accuracy and Stability of Numerical Algorithms
Edition
Second
Publisher
Society for Industrial and Applied Mathematics
Address
Philadelphia, PA
Year
2002
Doi
10.1137/1.9780898718027

Original bibliography entry · Permalink

Cited in this paper (3 passages)

Saad2003

Author
Yousef Saad
Title
Iterative Methods for Sparse Linear Systems
Edition
Second
Publisher
Society for Industrial and Applied Mathematics
Address
Philadelphia, PA
Year
2003
Doi
10.1137/1.9780898718003

Original bibliography entry · Permalink

Cited in this paper (2 passages)

Davis2006

Author
Timothy A. Davis
Title
Direct Methods for Sparse Linear Systems
Publisher
Society for Industrial and Applied Mathematics
Address
Philadelphia, PA
Year
2006
Doi
10.1137/1.9780898718881

Original bibliography entry · Permalink

Cited in this paper (2 passages)

Hager1989

Author
William W. Hager
Title
Updating the Inverse of a Matrix
Journal
SIAM Review
Volume
31
Number
2
Pages
221–239
Year
1989
Doi
10.1137/1031049

Original bibliography entry · Permalink

Cited in this paper (2 passages)

EckartYoung1936

Author
Carl Eckart and Gale Young
Title
The Approximation of One Matrix by Another of Lower Rank
Journal
Psychometrika
Volume
1
Number
3
Pages
211–218
Year
1936
Doi
10.1007/BF02288367

Original bibliography entry · Permalink

Cited in this paper (2 passages)

Mirsky1960

Author
Leon Mirsky
Title
Symmetric Gauge Functions and Unitarily Invariant Norms
Journal
The Quarterly Journal of Mathematics
Series
2
Volume
11
Pages
50–59
Year
1960
Doi
10.1093/qmath/11.1.50

Original bibliography entry · Permalink

Cited in this paper (2 passages)

BunchNielsen1978

Author
James R. Bunch and Christopher P. Nielsen
Title
Updating the Singular Value Decomposition
Journal
Numerische Mathematik
Volume
31
Pages
111–129
Year
1978
Doi
10.1007/BF01397471

Original bibliography entry · Permalink

Cited in this paper (2 passages)

GolubKahan1965

Author
Gene H. Golub and William Kahan
Title
Calculating the Singular Values and Pseudo Inverse of a Matrix
Journal
Journal of the Society for Industrial and Applied Mathematics, Series B: Numerical Analysis
Volume
2
Number
2
Pages
205–224
Year
1965
Doi
10.1137/0702016

Original bibliography entry · Permalink

Cited in this paper (1 passage)

CoifmanWickerhauser1992

Author
Ronald R. Coifman and Mladen Victor Wickerhauser
Title
Entropy Based Algorithms for Best Basis Selection
Journal
IEEE Transactions on Information Theory
Volume
38
Number
2
Pages
713–718
Year
1992
Doi
10.1109/18.119732

Original bibliography entry · Permalink

Cited in this paper (1 passage)

HongKung1981

Author
Jia Wei Hong and H. T. Kung
Title
I O Complexity: The Red Blue Pebble Game
Booktitle
Proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing
Pages
326–333
Publisher
Association for Computing Machinery
Year
1981
Doi
10.1145/800076.802486

Original bibliography entry · Permalink

Cited in this paper (2 passages)

WilliamsWatermanPatterson2009

Author
Samuel Williams and Andrew Waterman and David Patterson
Title
Roofline: An Insightful Visual Performance Model for Multicore Architectures
Journal
Communications of the ACM
Volume
52
Number
4
Pages
65–76
Year
2009
Doi
10.1145/1498765.1498785

Original bibliography entry · Permalink

Cited in this paper (3 passages)

BallardDemmelHoltzSchwartz2011

Author
Grey Ballard and James Demmel and Olga Holtz and Oded Schwartz
Title
Minimizing Communication in Numerical Linear Algebra
Journal
SIAM Journal on Matrix Analysis and Applications
Volume
32
Number
3
Pages
866–901
Year
2011
Doi
10.1137/090769156

Original bibliography entry · Permalink

Cited in this paper (2 passages)

HalkoMartinssonTropp2011

Author
Nathan Halko and Per Gunnar Martinsson and Joel A. Tropp
Title
Finding Structure with Randomness: Probabilistic Algorithms for Constructing Approximate Matrix Decompositions
Journal
SIAM Review
Volume
53
Number
2
Pages
217–288
Year
2011
Doi
10.1137/090771806

Original bibliography entry · Permalink

Cited in this paper (2 passages)

MartinssonTropp2020

Author
Per Gunnar Martinsson and Joel A. Tropp
Title
Randomized Numerical Linear Algebra: Foundations and Algorithms
Journal
Acta Numerica
Volume
29
Pages
403–572
Year
2020
Doi
10.1017/S0962492920000021

Original bibliography entry · Permalink

Cited in this paper (2 passages)

DavisKahan1970

Author
Chandler Davis and William M. Kahan
Title
The Rotation of Eigenvectors by a Perturbation. III
Journal
SIAM Journal on Numerical Analysis
Volume
7
Number
1
Pages
1–46
Year
1970
Doi
10.1137/0707001

Original bibliography entry · Permalink

Cited in this paper (1 passage)

CarsonHigham2018

Author
Erin Carson and Nicholas J. Higham
Title
Accelerating the Solution of Linear Systems by Iterative Refinement in Three Precisions
Journal
SIAM Journal on Scientific Computing
Volume
40
Number
2
Pages
A817–A847
Year
2018
Doi
10.1137/17M1140819

Original bibliography entry · Permalink

Cited in this paper (1 passage)

Strassen1969

Author
Volker Strassen
Title
Gaussian Elimination Is Not Optimal
Journal
Numerische Mathematik
Volume
13
Pages
354–356
Year
1969
Doi
10.1007/BF02165411

Original bibliography entry · Permalink

Cited in this paper (1 passage)

DemmelHoltzSchwartz2007

Author
James Demmel and Ioana Dumitriu and Olga Holtz
Title
Fast Linear Algebra Is Stable
Journal
Numerische Mathematik
Volume
108
Number
1
Pages
59–91
Year
2007
Doi
10.1007/s00211-007-0114-x

Original bibliography entry · Permalink

Cited in this paper (1 passage)

AmbikasaranDarve2013

Author
Sivaram Ambikasaran and Eric Darve
Title
An O N Log N Fast Direct Solver for Partial Hierarchically Semi Separable Matrices
Journal
Journal of Scientific Computing
Volume
57
Number
3
Pages
477–501
Year
2013
Doi
10.1007/s10915-013-9714-z

Original bibliography entry · Permalink

Cited in this paper (1 passage)

CooleyTukey1965

Author
James W. Cooley and John W. Tukey
Title
An Algorithm for the Machine Calculation of Complex Fourier Series
Journal
Mathematics of Computation
Volume
19
Number
90
Pages
297–301
Year
1965
Doi
10.1090/S0025-5718-1965-0178586-1

Original bibliography entry · Permalink

Cited in this paper (2 passages)

Oseledets2011

Author
Ivan V. Oseledets
Title
Tensor Train Decomposition
Journal
SIAM Journal on Scientific Computing
Volume
33
Number
5
Pages
2295–2317
Year
2011
Doi
10.1137/090752286

Original bibliography entry · Permalink

Cited in this paper (1 passage)

FrigoLeisersonProkopRamachandran1999

Author
Matteo Frigo and Charles E. Leiserson and Harald Prokop and Sridhar Ramachandran
Title
Cache Oblivious Algorithms
Booktitle
Proceedings of the Fortieth Annual Symposium on Foundations of Computer Science
Pages
285–297
Publisher
IEEE Computer Society
Year
1999
Doi
10.1109/SFFCS.1999.814600

Original bibliography entry · Permalink

Cited in this paper (1 passage)

NVIDIA2026

Author
NVIDIA Corporation
Title
CUDA C++ Programming Guide
Organization
NVIDIA Corporation
Note
Archive version 12.8.1, Section 3.2.8.7 (CUDA Graphs), accessed 6 October 2026
Url
https://docs.nvidia.com/cuda/archive/12.8.1/cuda-c-programming-guide/index.html#cuda-graphs

Original bibliography entry · Permalink

Cited in this paper (2 passages)

IEEE7542019

Author
IEEE Standards Association
Title
IEEE Standard for Floating Point Arithmetic
Howpublished
IEEE Std 754 2019
Year
2019
Doi
10.1109/IEEESTD.2019.8766229

Original bibliography entry · Permalink

Cited in this paper (1 passage)

HighamMary2021

Author
Higham, Nicholas J. and Mary, Theo
Title
Mixed Precision Algorithms in Numerical Linear Algebra
Year
2021
Note
MIMS EPrint 2021.20, Sections 3–4; classical real dot-product forward-error model
Url
https://eprints.maths.manchester.ac.uk/2841/1/paper_eprint.pdf

Original bibliography entry · Permalink

Cited in this paper (1 passage)