The following pages link to (Q4841300):
Displaying 7 items.
- On the application of Buchberger's algorithm to automated geometry theorem proving (Q1094149) (← links)
- A short proof of an algorithm by Boehm (Q1195062) (← links)
- A new method for the Boolean ring based theorem proving (Q1333173) (← links)
- Theorem proving for and with Gröbner bases theory (Q2702494) (← links)
- (Q4249903) (← links)
- (Q4889407) (← links)
- Buchberger's algorithm: A constraint-based completion procedure (Q5096314) (← links)