Pages that link to "Item:Q840027"
From MaRDI portal
The following pages link to Involutive method for computing Gröbner bases over \(\mathbb F_2\) (Q840027):
Displaying 7 items.
- A logic-algebraic approach to decision taking in a railway interlocking system (Q694549) (← links)
- Role of involutive criteria in computing Boolean Gröbner bases (Q840090) (← links)
- BIBasis, a package for REDUCE and Macaulay2 computer algebra systems to compute Boolean involutive and Gröbner bases (Q1758701) (← links)
- On computation of Boolean involutive bases (Q1956959) (← links)
- On the efficiency of solving Boolean polynomial systems with the characteristic set method (Q2211189) (← links)
- A Groebner bases-based approach to backward reasoning in rule based expert systems (Q2379678) (← links)
- Parallelization of matrix algorithms for Gröbner basis computation (Q2452558) (← links)
