Pages that link to "Item:Q2959006"
From MaRDI portal
The following pages link to Abstract matrices in symbolic computation (Q2959006):
Displaying 5 items.
- Using abstract stobjs in ACL2 to compute matrix normal forms (Q1687754) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Abstracting symbolic matrices (Q1926589) (← links)
- Computing with abstract matrix structures (Q2883836) (← links)
- Reasoning with Generic Cases in the Arithmetic of Abstract Matrices (Q3637274) (← links)