The following pages link to (Q3021905):
Displaying 6 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- A verified common lisp implementation of Buchberger's algorithm in ACL2 (Q1034553) (← links)
- A generic and executable formalization of signature-based Gröbner basis algorithms (Q2028994) (← links)
- Comments on the translation of my PhD thesis: ``An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal'' (Q2457344) (← links)
- (Q3016865) (← links)