Pages that link to "Item:Q2349534"
From MaRDI portal
The following pages link to Modelling algebraic structures and morphisms in ACL2 (Q2349534):
Displaying 5 items.
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- A Structure-Exploiting Tool in Algebraic Modeling Languages (Q3114643) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464704) (← links)
- A case-study in algebraic manipulation using mechanized reasoning tools (Q5747731) (← links)