[std] Use numbered bibliography references throughout the standard

source/back.tex

@@ -1,69 +1,66 @@
 %!TEX root = std.tex
 
-\chapter{Bibliography}
-
-\begin{itemize}
-\renewcommand{\labelitemi}{---}
+\begin{thebibliography}{99}
 % ISO documents in numerical order.
-\item
+\bibitem{iso4217}
   ISO 4217:2015,
   \doccite{Codes for the representation of currencies}
-\item
+\bibitem{iso10967-1}
   ISO/IEC 10967-1:2012,
   \doccite{Information technology --- Language independent arithmetic ---
     Part 1: Integer and floating point arithmetic}
-\item
+\bibitem{iso18661-3}
   ISO/IEC TS 18661-3:2015,
   \doccite{Information Technology ---
     Programming languages, their environments, and system software interfaces ---
     Floating-point extensions for C --- Part 3: Interchange and extended types}
 % Other international standards.
-\item
+\bibitem{iana-charset}
   IANA Character Sets Database.
   Available from:\newline
   \url{https://www.iana.org/assignments/character-sets/}, 2021-04-01
-\item
+\bibitem{iana-tz}
   IANA Time Zone Database.
   Available from: \url{https://www.iana.org/time-zones}
-\item
+\bibitem{unicode-charmap}
   Unicode Character Mapping Markup Language [online].
   Edited by Mark Davis and Markus Scherer. Revision 5.0.1; 2017-05-31
   Available from: \url{http://www.unicode.org/reports/tr22/tr22-8.html}
 % Literature references.
-\item
+\bibitem{cpp-r}
   Bjarne Stroustrup,
   \doccite{The \Cpp{} Programming Language, second edition}, Chapter R\@.
   Addison-Wesley Publishing Company, ISBN 0-201-53992-6, copyright \copyright 1991 AT\&T
-\item
+\bibitem{kr}
   Brian W.\ Kernighan and Dennis M. Ritchie,
   \doccite{The C Programming Language}, Appendix A\@.
   Prentice-Hall, 1978, ISBN 0-13-110163-3, copyright \copyright 1978 AT\&T
-\item
+\bibitem{cpp-lib}
   P.J.\ Plauger,
   \doccite{The Draft Standard \Cpp{} Library}.
   Prentice-Hall, ISBN 0-13-117003-1, copyright \copyright 1995 P.J.\ Plauger
-\item
+\bibitem{linalg-stable}
   J.\ Demmel, I.\ Dumitriu, and O.\ Holtz,
   \doccite{Fast linear algebra is stable},
   Numerische Mathematik 108 (59-91), 2007.
-\item
+\bibitem{blas1}
   C.\,L.\ Lawson, R.\,J.\ Hanson, D.\ Kincaid, and F.\,T.\ Krogh,
   \doccite{Basic linear algebra subprograms for Fortran usage}.
   ACM Trans. Math. Soft., 5 (1979), pp. 308-323.
-\item
+\bibitem{blas2}
   Jack J.\ Dongarra, Jeremy Du Croz, Sven Hammarling, and Richard J. Hanson,
   \doccite{An Extended Set of FORTRAN Basic Linear Algebra Subprograms}.
   ACM Trans. Math. Soft., Vol. 14, No. 1, pp. 1 - 17, Mar. 1988.
-\item
+\bibitem{blas3}
   Jack J.\ Dongarra, Jeremy Du Croz, Sven Hammarling, and Iain Duff,
   \doccite{A Set of Level 3 Basic Linear Algebra Subprograms}.
   ACM Trans. Math. Soft., Vol. 16, No. 1, pp. 1 - 17, Mar. 1990.
-\item
+\bibitem{lapack}
   E.\ Anderson, Z.\ Bai, C.\ Bischof, S.\ Blackford, J.\ Demmel, J.\ Dongarra,
   J.\ Du Croz, A.\ Greenbaum, S.\ Hammarling, A.\ McKenney, D.\ Sorensen
   \doccite{LAPACK Users' Guide, Third Edition}.
   SIAM, Philadelphia, PA, USA, 1999.
-\end{itemize}
+\end{thebibliography}
 
 The arithmetic specification described in ISO/IEC 10967-1:2012 is
 called \defn{LIA-1} in this document.

source/locales.tex

@@ -4296,7 +4296,8 @@
 \begin{note}
 For specializations where the second template parameter is \tcode{true},
 this is typically four characters long:
-a three-letter code as specified by ISO 4217 followed by a space.
+a three-letter code as specified by ISO 4217\supercite{iso4217}
+followed by a space.
 \end{note}
 \end{itemdescr}
 
@@ -4676,7 +4677,7 @@
 
 \pnum
 The class \tcode{text_encoding} describes an interface
-for accessing the IANA Character Sets registry.
+for accessing the IANA Character Sets registry\supercite{iana-charset}.
 
 \indexlibraryglobal{text_encoding}%
 \begin{codeblock}
@@ -5002,7 +5003,7 @@
 \begin{note}
 This comparison is identical to
 the ``Charset Alias Matching'' algorithm
-described in the Unicode Technical Standard 22.
+described in the Unicode Technical Standard 22\supercite{unicode-charmap}.
 \end{note}
 
 \begin{example}

source/macros.tex

@@ -120,6 +120,11 @@
 \addtocounter{SectionDepth}{\value{SectionDepthBase}}
 \Sec{\arabic{SectionDepth}}[#2]{#3}}
 
+%%--------------------------------------------------
+% Bibliography
+%%--------------------------------------------------
+\newcommand{\supercite}[1]{\textsuperscript{\cite{#1}}}
+
 %%--------------------------------------------------
 % Indexing
 %%--------------------------------------------------

source/numerics.tex

@@ -11405,7 +11405,7 @@
 the function satisfies the complexity requirements; and
 \item
 the function is logarithmically stable,
-as defined in Demmel 2007.
+as defined in Demmel 2007\supercite{linalg-stable}.
 Strassen's algorithm for matrix-matrix multiply
 is an example of a logarithmically stable algorithm.
 \end{itemize}
@@ -12784,7 +12784,6 @@
 
 \rSec3[linalg.algs.blas1.givens]{Givens rotations}
 
-
 \rSec4[linalg.algs.blas1.givens.lartg]{Compute Givens rotation}
 
 \begin{itemdecl}
@@ -12826,7 +12825,7 @@
 whose first component $r$ is the Euclidean norm of the input vector, and
 whose second component is zero.
 \begin{note}
-These functions correspond to the LAPACK function \tcode{xLARTG}.
+These functions correspond to the LAPACK function \tcode{xLARTG}\supercite{lapack}.
 \end{note}
 
 \pnum
@@ -12855,7 +12854,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xROT}.
+These functions correspond to the BLAS function \tcode{xROT}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -12886,7 +12885,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xSWAP}.
+These functions correspond to the BLAS function \tcode{xSWAP}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -12921,7 +12920,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xSCAL}.
+These functions correspond to the BLAS function \tcode{xSCAL}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -12942,7 +12941,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xCOPY}.
+These functions correspond to the BLAS function \tcode{xCOPY\supercite{blas1}}.
 \end{note}
 
 \pnum
@@ -12978,7 +12977,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xAXPY}.
+These functions correspond to the BLAS function \tcode{xAXPY}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -13006,7 +13005,7 @@
 
 \begin{note}
 The functions in this section correspond to the BLAS
-functions \tcode{xDOT}, \tcode{xDOTU}, and \tcode{xDOTC}.
+functions \tcode{xDOT}, \tcode{xDOTU}, and \tcode{xDOTC}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -13159,7 +13158,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the LAPACK function \tcode{xLASSQ}.
+These functions correspond to the LAPACK function \tcode{xLASSQ}\supercite{lapack}.
 \end{note}
 
 \pnum
@@ -13205,7 +13204,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{xNRM2}.
+These functions correspond to the BLAS function \tcode{xNRM2}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -13277,7 +13276,7 @@
 \begin{itemdescr}
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{SASUM}, \tcode{DASUM}, \tcode{SCASUM}, and \tcode{DZASUM}.
+\tcode{SASUM}, \tcode{DASUM}, \tcode{SCASUM}, and \tcode{DZASUM}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -13356,7 +13355,7 @@
 
 \begin{itemdescr}
 \begin{note}
-These functions correspond to the BLAS function \tcode{IxAMAX}.
+These functions correspond to the BLAS function \tcode{IxAMAX}\supercite{blas1}.
 \end{note}
 
 \pnum
@@ -13708,7 +13707,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYMV} and \tcode{xSPMV}.
+\tcode{xSYMV} and \tcode{xSPMV}\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -13796,7 +13795,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xHEMV} and \tcode{xHPMV}.
+\tcode{xHEMV} and \tcode{xHPMV}\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -13883,7 +13882,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xTRMV} and \tcode{xTPMV}.
+\tcode{xTRMV} and \tcode{xTPMV}\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -14017,7 +14016,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xTRSV} and \tcode{xTPSV}.
+\tcode{xTRSV} and \tcode{xTPSV}\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -14198,7 +14197,7 @@
 \begin{note}
 These functions correspond to the BLAS functions
 \tcode{xGER} (for real element types) and
-\tcode{xGERU} (for complex element types).
+\tcode{xGERU} (for complex element types)\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -14233,7 +14232,7 @@
 \begin{note}
 These functions correspond to the BLAS functions
 \tcode{xGER} (for real element types) and
-\tcode{xGERC} (for complex element types).
+\tcode{xGERC} (for complex element types)\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -14258,7 +14257,7 @@
 \pnum
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYR}, \tcode{xSPR}, \tcode{xHER}, and \tcode{xHPR}.
+\tcode{xSYR}, \tcode{xSPR}, \tcode{xHER}, and \tcode{xHPR}\supercite{blas2}.
 They have overloads taking a scaling factor \tcode{alpha},
 because it would be impossible to express the update
 $A = A - x x^T$ otherwise.
@@ -14387,7 +14386,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYR2},\tcode{xSPR2}, \tcode{xHER2} and \tcode{xHPR2}.
+\tcode{xSYR2},\tcode{xSPR2}, \tcode{xHER2} and \tcode{xHPR2}\supercite{blas2}.
 \end{note}
 
 \pnum
@@ -14472,7 +14471,7 @@
 \rSec3[linalg.algs.blas3.gemm]{General matrix-matrix product}
 
 \begin{note}
-These functions correspond to the BLAS function \tcode{xGEMM}.
+These functions correspond to the BLAS function \tcode{xGEMM}\supercite{blas3}.
 \end{note}
 
 \pnum
@@ -14536,7 +14535,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYMM}, \tcode{xHEMM}, and \tcode{xTRMM}.
+\tcode{xSYMM}, \tcode{xHEMM}, and \tcode{xTRMM}\supercite{blas3}.
 \end{note}
 
 \pnum
@@ -14803,7 +14802,7 @@
 the \tcode{Triangle} and \tcode{Diagonal\-Storage} parameters
 that apply to the triangular matrix \tcode{A}\iref{linalg.general}.
 \begin{note}
-These functions correspond to the BLAS function \tcode{xTRMM}.
+These functions correspond to the BLAS function \tcode{xTRMM}\supercite{blas3}.
 \end{note}
 
 \begin{itemdecl}
@@ -14896,7 +14895,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYRK} and \tcode{xHERK}.
+\tcode{xSYRK} and \tcode{xHERK}\supercite{blas3}.
 \end{note}
 
 \pnum
@@ -15005,7 +15004,7 @@
 
 \begin{note}
 These functions correspond to the BLAS functions
-\tcode{xSYR2K} and \tcode{xHER2K}.
+\tcode{xSYR2K} and \tcode{xHER2K}\supercite{blas3}.
 \end{note}
 
 \pnum
@@ -15077,7 +15076,7 @@
 \rSec3[linalg.algs.blas3.trsm]{Solve multiple triangular linear systems}
 
 \begin{note}
-These functions correspond to the BLAS function \tcode{xTRSM}.
+These functions correspond to the BLAS function \tcode{xTRSM}\supercite{blas3}.
 \end{note}
 
 \begin{itemdecl}
@@ -15278,7 +15277,7 @@
 \rSec3[linalg.algs.blas3.inplacetrsm]{Solve multiple triangular linear systems in-place}
 
 \begin{note}
-These functions correspond to the BLAS function \tcode{xTRSM}.
+These functions correspond to the BLAS function \tcode{xTRSM}\supercite{blas3}.
 \end{note}
 
 \begin{itemdecl}

source/time.tex

@@ -8736,7 +8736,7 @@
 
 \pnum
 \ref{time.zone} describes an interface for accessing
-the IANA Time Zone Database
+the IANA Time Zone Database\supercite{iana-tz}
 that interoperates with \tcode{sys_time} and \tcode{local_time}.
 This interface provides time zone support to
 both the civil calendar types\iref{time.cal}