slimgb
From MaRDI portal
Slimgb
Cited in
(27)- New developments in the theory of Gröbner bases and applications to formal verification
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- FGb
- PolyBoRi
- Felix
- BERGMAN
- Kan
- A survey on signature-based algorithms for computing Gröbner bases
- Algebraic geometry and Bethe ansatz. I: The quotient ring for BAE
- MAS
- Counting and enumerating feasible rotating schedules by means of Gröbner bases
- GBLA
- A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields
- Algebraic attacks on the Courtois toy cipher
- Sparse Gröbner bases: the unmixed case
- Attacking Bivium Using SAT Solvers
- Computing Gröbner Bases within Linear Algebra
- Computing Boolean Gröbner bases within linear algebra
- Signature-based algorithms to compute Gröbner bases
- Constructive \(D\)-module theory with \texttt{Singular}
- \textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
- Ideal Turaev-Viro invariants
- G2V.mpl
- pls.lib
- Optimising Gröbner bases on Bivium
- Obtaining and solving systems of equations in key variables only for the small variants of AES
- Computing inhomogeneous Gröbner bases
This page was built for software: slimgb
