Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Proving linear algebra program correctness - MaRDI portal

Proving linear algebra program correctness

From MaRDI portal

Publication:1052816

Jump to:navigation, search

zbMath0516.68013MaRDI QIDQ1052816

V. A. Nepomnyashchij

Publication date: 1982

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

linear equation systems partial correctness of linear algebra programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Linear equations (linear algebraic aspects) (15A06)

This page was built for publication: Proving linear algebra program correctness

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1052816&oldid=13061643"