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