Pages that link to "Item:Q1688742"
From MaRDI portal
The following pages link to Isomorphism theorem on vector spaces over a ring (Q1688742):
Displaying 4 items.
- Formalizing ring theory in PVS (Q1791143) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Isomorphisms from the space of multilinear operators (Q2337330) (← links)
- Formalization of integral linear space (Q2865731) (← links)