Options
Verified inclusion of a basis of the null space
Publikationstyp
Journal Article
Publikationsdatum
2020
Sprache
English
Institut
TORE-URI
Enthalten in
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