swMATH878MaRDI QIDQ13622FDOQ13622
Author name not available (Why is that?)
Official website: http://www.singular.uni-kl.de/Manual/3-0-2/sing_284.htm
Cited In (24)
- A computational algebraic geometry approach to enumerate Malcev magma algebras over finite fields
- Signature-based algorithms to compute Gröbner bases
- Constructive \(D\)-module theory with \texttt{Singular}
- Attacking Bivium Using SAT Solvers
- Computing Boolean Gröbner bases within linear algebra
- A survey on signature-based algorithms for computing Gröbner bases
- Computing Gröbner Bases within Linear Algebra
- Counting and enumerating feasible rotating schedules by means of Gröbner bases
- Ideal Turaev-Viro invariants
- FGb
- Sparse Gröbner bases: the unmixed case
- Kan
- MAS
- GBLA
- New developments in the theory of Gröbner bases and applications to formal verification
- Obtaining and solving systems of equations in key variables only for the small variants of AES
- pls.lib
- Algebraic attacks on the Courtois toy cipher
- G2V.mpl
- Optimising Gröbner bases on Bivium
- Computing inhomogeneous Gröbner bases
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- \textsc{Plural}, a non-commutative extension of \textsc{Singular}: past, present and future.
- Algebraic geometry and Bethe ansatz. I: The quotient ring for BAE
This page was built for software: slimgb