Concurrent Gaussian elimination
Logic in Computer Science
2023-05-18 v1
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.
Cite
@article{arxiv.2305.10125,
title = {Concurrent Gaussian elimination},
author = {Ulrich Berger and Monika Seisenberger and Dieter Spreen and Hideki Tsuiki},
journal= {arXiv preprint arXiv:2305.10125},
year = {2023}
}
Comments
To be published as a chapter of the book 'Mathematics for Computation - M4C', Marco Benini, Olaf beyersdorf, Michael Rathjen, Peter Schuster (eds.), World Scientific (publ.), 25 pages