Options
Verified inclusion of a basis of the null space
Publikationstyp
Journal Article
Date Issued
2020
Sprache
English
Institut
TORE-URI
Journal
Volume
27
Issue
0
Start Page
26
End Page
41
Citation
Reliable computing (27): 26–41 (2020)
Publisher
University of Louisiana at Lafayette
DDC Class
004: Informatik