Pages that link to "Item:Q2883836"
From MaRDI portal
The following pages link to Computing with abstract matrix structures (Q2883836):
Displaying 6 items.
- Using abstract stobjs in ACL2 to compute matrix normal forms (Q1687754) (← links)
- The matrix as in-situ data structure (Q1893539) (← links)
- Abstracting symbolic matrices (Q1926589) (← links)
- Abstract matrices in symbolic computation (Q2959006) (← links)
- Computing matrix representations (Q3584851) (← links)
- Reasoning with Generic Cases in the Arithmetic of Abstract Matrices (Q3637274) (← links)