Pages that link to "Item:Q5096314"
From MaRDI portal
The following pages link to Buchberger's algorithm: A constraint-based completion procedure (Q5096314):
Displaying 4 items.
- A search-based procedure for nonlinear real arithmetic (Q518407) (← links)
- Buchberger's algorithm: The term rewriter's point of view (Q1350495) (← links)
- A new symbolic method for solving linear two-point boundary value problems on the level of operators (Q2456540) (← links)
- A general framework to build contextual cover set induction provers (Q5950934) (← links)
