Concurrent Gaussian Elimination

Berger, Ulrich; Seisenberger, Monika; Rathjen, Michael; Schuster, Peter

doi:10.1142/9789811245220_0009

Book chapter 772 views

Concurrent Gaussian Elimination

Ulrich Berger

, Monika Seisenberger

, Michael Rathjen, Peter Schuster

Mathematics for Computation (M4C), Pages: 223 - 250

Swansea University Authors: Ulrich Berger , Monika Seisenberger

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1142/9789811245220_0009

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...

Full description

Published in:	Mathematics for Computation (M4C)
ISBN:	9789811245213 9789811245220
Published:	Singapore WORLD SCIENTIFIC 2023
Online Access:	http://dx.doi.org/10.1142/9789811245220_0009
URI:	https://cronfa.swan.ac.uk/Record/cronfa60609
Tags:	Add Tag No Tags, Be the first to tag this record!

first_indexed	2022-11-17T13:56:06Z
last_indexed	2023-01-13T19:20:51Z
id	cronfa60609
recordtype	SURis
fullrecord	<?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>60609</id><entry>2022-07-22</entry><title>Concurrent Gaussian Elimination</title><swanseaauthors><author><sid>61199ae25042a5e629c5398c4a40a4f5</sid><ORCID>0000-0002-7677-3582</ORCID><firstname>Ulrich</firstname><surname>Berger</surname><name>Ulrich Berger</name><active>true</active><ethesisStudent>false</ethesisStudent></author><author><sid>d035399b2b324a63fe472ce0344653e0</sid><ORCID>0000-0002-2226-386X</ORCID><firstname>Monika</firstname><surname>Seisenberger</surname><name>Monika Seisenberger</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-07-22</date><deptcode>SCS</deptcode><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.</abstract><type>Book chapter</type><journal>Mathematics for Computation (M4C)</journal><volume/><journalNumber/><paginationStart>223</paginationStart><paginationEnd>250</paginationEnd><publisher>WORLD SCIENTIFIC</publisher><placeOfPublication>Singapore</placeOfPublication><isbnPrint>9789811245213</isbnPrint><isbnElectronic>9789811245220</isbnElectronic><issnPrint/><issnElectronic/><keywords>logic, proof theory, realisability, constructive mathematics, program extraction, concurrency, nondeteminism, Gaussian elimination, exact real number computation</keywords><publishedDay>1</publishedDay><publishedMonth>4</publishedMonth><publishedYear>2023</publishedYear><publishedDate>2023-04-01</publishedDate><doi>10.1142/9789811245220_0009</doi><url>http://dx.doi.org/10.1142/9789811245220_0009</url><notes>https://doi.org/10.1142/12500</notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2023-07-25T15:03:40.6303988</lastEdited><Created>2022-07-22T22:43:11.2762173</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Ulrich</firstname><surname>Berger</surname><orcid>0000-0002-7677-3582</orcid><order>1</order></author><author><firstname>Monika</firstname><surname>Seisenberger</surname><orcid>0000-0002-2226-386X</orcid><order>2</order></author><author><firstname>Michael</firstname><surname>Rathjen</surname><order>3</order></author><author><firstname>Peter</firstname><surname>Schuster</surname><order>4</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling	v2 60609 2022-07-22 Concurrent Gaussian Elimination 61199ae25042a5e629c5398c4a40a4f5 0000-0002-7677-3582 Ulrich Berger Ulrich Berger true false d035399b2b324a63fe472ce0344653e0 0000-0002-2226-386X Monika Seisenberger Monika Seisenberger true false 2022-07-22 SCS 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. Book chapter Mathematics for Computation (M4C) 223 250 WORLD SCIENTIFIC Singapore 9789811245213 9789811245220 logic, proof theory, realisability, constructive mathematics, program extraction, concurrency, nondeteminism, Gaussian elimination, exact real number computation 1 4 2023 2023-04-01 10.1142/9789811245220_0009 http://dx.doi.org/10.1142/9789811245220_0009 https://doi.org/10.1142/12500 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University Not Required 2023-07-25T15:03:40.6303988 2022-07-22T22:43:11.2762173 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Ulrich Berger 0000-0002-7677-3582 1 Monika Seisenberger 0000-0002-2226-386X 2 Michael Rathjen 3 Peter Schuster 4
title	Concurrent Gaussian Elimination
spellingShingle	Concurrent Gaussian Elimination Ulrich Berger Monika Seisenberger
title_short	Concurrent Gaussian Elimination
title_full	Concurrent Gaussian Elimination
title_fullStr	Concurrent Gaussian Elimination
title_full_unstemmed	Concurrent Gaussian Elimination
title_sort	Concurrent Gaussian Elimination
author_id_str_mv	61199ae25042a5e629c5398c4a40a4f5 d035399b2b324a63fe472ce0344653e0
author_id_fullname_str_mv	61199ae25042a5e629c5398c4a40a4f5_*_Ulrich Berger d035399b2b324a63fe472ce0344653e0_*_Monika Seisenberger
author	Ulrich Berger Monika Seisenberger
author2	Ulrich Berger Monika Seisenberger Michael Rathjen Peter Schuster
format	Book chapter
container_title	Mathematics for Computation (M4C)
container_start_page	223
publishDate	2023
institution	Swansea University
isbn	9789811245213 9789811245220
doi_str_mv	10.1142/9789811245220_0009
publisher	WORLD SCIENTIFIC
college_str	Faculty of Science and Engineering
hierarchytype
hierarchy_top_id	facultyofscienceandengineering
hierarchy_top_title	Faculty of Science and Engineering
hierarchy_parent_id	facultyofscienceandengineering
hierarchy_parent_title	Faculty of Science and Engineering
department_str	School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url	http://dx.doi.org/10.1142/9789811245220_0009
document_store_str	0
active_str	0
description	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.
published_date	2023-04-01T15:03:02Z
_version_	1772401493080539136
score	11.037166

Concurrent Gaussian Elimination

Similar Items