The following pages link to (Q3062061):
Displaying 4 items.
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Exploring the structure of an algebra text with locales (Q2209550) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Locales: a module system for mathematical theories (Q2352487) (← links)
