Pages that link to "Item:Q1816342"
From MaRDI portal
The following pages link to Verification of linear algebra programs in the SPEKTR system (Q1816342):
Displaying 5 items.
- SPEKTR (Q13857) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Verification of a finite iteration over data structures (Q1974308) (← links)
- Problem-oriented program verification system ?SPEKTR? (Q3802589) (← links)
- Parallel Processing and Applied Mathematics (Q5307366) (← links)