Pages that link to "Item:Q2209550"
From MaRDI portal
The following pages link to Exploring the structure of an algebra text with locales (Q2209550):
Displaying 7 items.
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory (Q2102926) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- A modular first formalisation of combinatorial design theory (Q2128787) (← links)
- Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types (Q5094472) (← links)
- On Algebraic Approach of R. Wille and B. Ganter in the Investigation of Texts (Q5853137) (← links)
- Single-set cubical categories and their formalisation with a proof assistant (Q6653090) (← links)