F5C
From MaRDI portal
swMATH35035MaRDI QIDQ46744FDOQ46744
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/10.1016/j.jsc.2010.06.019
Cited In (42)
- InvariantG2V.mpl
- CoupledBorderBases.mpl
- A signature-based algorithm for computing Gröbner bases in solvable polynomial algebras
- A generalized criterion for signature related Gröbner basis algorithms
- The F5 algorithm in Buchberger's style
- Speeding up the GVW algorithm via a substituting method
- Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases
- A new framework for computing Gröbner bases
- Termination of the F5 algorithm
- An improvement for GVW
- Syzygies probing scattering amplitudes
- An analysis of inhomogeneous signature-based Gröbner basis computations
- A generic and executable formalization of signature-based Gröbner basis algorithms
- A survey on signature-based algorithms for computing Gröbner bases
- Generalization of the F5 algorithm for calculating Gröbner bases for polynomial ideals
- A new signature-based algorithms for computing Gröbner bases
- Simple signature based iterative algorithm for calculation of Gröbner bases
- Computing coupled border bases
- F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
- A signature-based algorithm for computing Gröbner bases over principal ideal domains
- ClassicBorderBases.mpl
- slimgb
- PoSSo
- f5_library.lib
- GBLA
- An improvement over the GVW algorithm for inhomogeneous polynomial systems
- Extending the GVW Algorithm to Local Ring
- GVW
- Bounded regularity
- Resolvability of Hamming graphs
- MXL3
- G2V.mpl
- Resultant elimination via implicit equation interpolation
- Modifying Faugère's F5 algorithm to ensure termination
- A new proof for the correctness of the F5 algorithm
- Involutive bases algorithm incorporating F\(_5\) criterion
- Predicting zero reductions in Gröbner basis computations
- Applying IsRewritten criterion on Buchberger algorithm
- A Variant of the F4 Algorithm
- Elliptic curve discrete logarithm problem over small degree extension fields
- Isrewritten.mpl
- GVW algorithm over principal ideal domains
This page was built for software: F5C