Pages that link to "Item:Q1017680"
From MaRDI portal
The following pages link to New developments in the theory of Gröbner bases and applications to formal verification (Q1017680):
Displaying 13 items.
- Minimal Gröbner bases and the predictable leading monomial property (Q609485) (← links)
- Obtaining and solving systems of equations in key variables only for the small variants of AES (Q626949) (← links)
- Boolean Gröbner bases (Q633095) (← links)
- Role of involutive criteria in computing Boolean Gröbner bases (Q840090) (← links)
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials (Q1030264) (← 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)
- Boolean ideals and their varieties (Q2348121) (← links)
- Space Complexity in Polynomial Calculus (Q2944568) (← links)
- An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths (Q3512511) (← links)
- Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases (Q3587716) (← links)
- Narrow Proofs May Be Maximally Long (Q5277920) (← links)
- Cohomology, Bocksteins, and resonance varieties in characteristic 2 (Q6079125) (← links)
