Pages that link to "Item:Q2639107"
From MaRDI portal
The following pages link to Computing final polynomials and final syzygies using Buchberger's Gröbner bases method (Q2639107):
Displaying 6 items.
- On the finding of final polynomials (Q584273) (← links)
- Computing combinatorial decompositions of rings (Q1180429) (← links)
- Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry. (Q1426143) (← links)
- Mechanical theorem proving in projective geometry (Q1924746) (← links)
- (Q3416407) (← links)
- Enumerating Motzkin–Rabin geometries (Q3445484) (← links)