CompCertO: compiling certified open C components
Since the introduction of CompCert, researchers have been refining its language semantics
and correctness theorem, and used them as components in software verification efforts …
and correctness theorem, and used them as components in software verification efforts …
Robust neural network receiver for multiple-eigenvalue modulated nonlinear frequency division multiplexing system
Nonlinear frequency division multiplexing (NFDM) has been shown to be promising in
overcoming the fiber Kerr nonlinearity limit. In multiple-eigenvalue modulated NFDM …
overcoming the fiber Kerr nonlinearity limit. In multiple-eigenvalue modulated NFDM …
[图书][B] A Journey through the History of Numerical Linear Algebra
C Brezinski, G Meurant, M Redivo-Zaglia - 2022 - SIAM
A Journey through the History of Numerical Linear Algebra: Back Matter Page 1 Bibliography
[1] A. Abdelfattah, H. Anzt, A. Bouteiller, A. Danalis, JJ Dongarra, M. Gates, A. Haidar, J. Kurzak …
[1] A. Abdelfattah, H. Anzt, A. Bouteiller, A. Danalis, JJ Dongarra, M. Gates, A. Haidar, J. Kurzak …
[HTML][HTML] Smith forms of matrices in Companion Rings, with group theoretic and topological applications
V Noferini, G Williams - Linear Algebra and its Applications, 2025 - Elsevier
Let R be a commutative ring and g (t)∈ R [t] a monic polynomial. The commutative ring of
polynomials f (C g) in the companion matrix C g of g (t), where f (t)∈ R [t], is called the …
polynomials f (C g) in the companion matrix C g of g (t), where f (t)∈ R [t], is called the …
Parameterizing Intersecting Surfaces via Invariants
We introduce and analyze numerical companion matrix methods for the reconstruction of
hypersurfaces with crossings from smooth interpolants given unordered or, without loss of …
hypersurfaces with crossings from smooth interpolants given unordered or, without loss of …
[HTML][HTML] Sampling the eigenvalues of random orthogonal and unitary matrices
We develop an efficient algorithm for sampling the eigenvalues of random matrices
distributed according to the Haar measure over the orthogonal or unitary group. Our …
distributed according to the Haar measure over the orthogonal or unitary group. Our …
The Levin approach to the numerical calculation of phase functions
M Aubry, J Bremer - arXiv preprint arXiv:2308.03288, 2023 - arxiv.org
The solutions of scalar ordinary differential equations become more complex as their
coefficients increase in magnitude. As a consequence, when a standard solver is applied to …
coefficients increase in magnitude. As a consequence, when a standard solver is applied to …
A frequency-independent solver for systems of first order linear ordinary differential equations
T Hu, J Bremer - arXiv preprint arXiv:2309.13848, 2023 - arxiv.org
When a system of first order linear ordinary differential equations has eigenvalues of large
magnitude, its solutions exhibit complicated behaviour, such as high-frequency oscillations …
magnitude, its solutions exhibit complicated behaviour, such as high-frequency oscillations …
A solver for linear scalar ordinary differential equations whose running time is bounded independent of frequency
M Aubry, J Bremer - arXiv preprint arXiv:2311.08578, 2023 - arxiv.org
When the eigenvalues of the coefficient matrix for a linear scalar ordinary differential
equation are of large magnitude, its solutions exhibit complicated behaviour, such as high …
equation are of large magnitude, its solutions exhibit complicated behaviour, such as high …
A Provably Componentwise Backward Stable QR Algorithm for the Diagonalization of Colleague Matrices
K Serkh, V Rokhlin - arXiv preprint arXiv:2102.12186, 2021 - arxiv.org
The roots of a monic polynomial expressed in a Chebyshev basis are known to be the
eigenvalues of the so-called colleague matrix, which is a Hessenberg matrix that is the sum …
eigenvalues of the so-called colleague matrix, which is a Hessenberg matrix that is the sum …