Pages that link to "Item:Q3644095"
From MaRDI portal
The following pages link to On the Computation of Comprehensive Boolean Gröbner Bases (Q3644095):
Displaying 5 items.
- Boolean Gröbner bases (Q633095) (← links)
- On the robust hardness of Gröbner basis computation (Q1713027) (← links)
- BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases (Q1758701) (← links)
- Gröbner-free normal forms for Boolean polynomials (Q1760097) (← links)
- (Q3571263) (← links)