Concurrent Gaussian Elimination

DOI10.1142/9789811245220_0009MaRDI QIDQ6167158zbMATH OpenFDO

Authors Ulrich Berger, Monika Seisenberger, Dieter Spreen, Hideki Tsuiki

Publication date 4 August 2023

Published in Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2305.10125

Mathematics Subject Classification ID

Computer science (68-XX)

Abstract: Working in a semi-constructive logical system that supports the extraction of concurrent programs, we extract a program inverting non-singular real valued matrices from a constructive proof based on Gaussian elimination. Concurrency is used for efficient pivoting, that is, for finding an entry that is apart from zero in a non-null vector of real numbers.

Recommendations

• Gaussian elimination with pivoting on hypercubes
• A parallel gaussian elimination method for general linear systems
• Parallel sparse Gaussian elimination with partial pivoting
• scientific article; zbMATH DE number 3960862
• Analysis of Pairwise Pivoting in Gaussian Elimination

Cited in

(2)

• scientific article; zbMATH DE number 2232784 (Why is no real title available?)
• Extracting total Amb programs from proofs

This page was built for publication: Concurrent Gaussian Elimination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6167158)